From 7edf26b773802ffc6c990ffd0ef9b6acd8065fd1 Mon Sep 17 00:00:00 2001
From: Marco Eilers <eilers.marco@googlemail.com>
Date: Mon, 16 Oct 2023 17:02:10 +0200
Subject: [PATCH] Added test annotation for Carbon

---
 src/test/resources/all/issues/silicon/0338.vpr | 1 +
 1 file changed, 1 insertion(+)

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)