diff --git a/src/test/resources/all/issues/silicon/0796.vpr b/src/test/resources/all/issues/silicon/0796.vpr
index 6723d22fc..6f6cc1e4f 100644
--- a/src/test/resources/all/issues/silicon/0796.vpr
+++ b/src/test/resources/all/issues/silicon/0796.vpr
@@ -1,6 +1,8 @@
 // Any copyright is dedicated to the Public Domain.
 // http://creativecommons.org/publicdomain/zero/1.0/
 
+//:: IgnoreFile(/carbon/issue/428/)
+
 field f: Int
 
 method m(xs: Set[Ref], ys: Set[Ref])