diff --git a/src/test/resources/all/issues/silicon/0338.vpr b/src/test/resources/all/issues/silicon/0338.vpr
index 4242d6b96..7da5843bd 100644
--- a/src/test/resources/all/issues/silicon/0338.vpr
+++ b/src/test/resources/all/issues/silicon/0338.vpr
@@ -40,6 +40,7 @@ method bar(x: Ref)
 {
     package acc(x.data) --* false {
         assert acc(x.data) && acc(x.data)
+        //:: UnexpectedOutput(assert.failed:assertion.false, /carbon/issue/470/)
         assert false
     }
     //:: ExpectedOutput(assert.failed:assertion.false)