diff --git a/src/test/resources/all/issues/carbon/0213.vpr b/src/test/resources/all/issues/carbon/0213.vpr
index d84404e21..944af41fd 100644
--- a/src/test/resources/all/issues/carbon/0213.vpr
+++ b/src/test/resources/all/issues/carbon/0213.vpr
@@ -11,5 +11,6 @@ method test(r:Ref)
   requires P(r)
   {
       assert perm(r.next) == none
+      //:: UnexpectedOutput(assert.failed:assertion.false, /carbon/issue/213/)
       assert (unfolding P(r) in perm(r.next) == write)
   }
\ No newline at end of file