From 86742da3001d99b88df3777a8b39f682bf911451 Mon Sep 17 00:00:00 2001
From: manud99 <19774382+manud99@users.noreply.github.com>
Date: Thu, 13 Jun 2024 01:11:39 +0200
Subject: [PATCH] Remove MissingOutput flag from test case conditionals2.vpr
 (#788)

---
 src/test/resources/wands/regression/conditionals2.vpr | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/test/resources/wands/regression/conditionals2.vpr b/src/test/resources/wands/regression/conditionals2.vpr
index 9ddd639f5..ddafd4b4b 100644
--- a/src/test/resources/wands/regression/conditionals2.vpr
+++ b/src/test/resources/wands/regression/conditionals2.vpr
@@ -19,7 +19,6 @@ method test5a(x: Ref)
     //                       x.g |-> tg' # tf'' ? w : n
 
   //:: ExpectedOutput(assert.failed:insufficient.permission)
-  //:: MissingOutput(assert.failed:insufficient.permission, /silicon/issue/307/)
   assert acc(x.g, 1/1000)
 }