From e951a1f778f1254a9ce3920469ddae2a3ce35bb5 Mon Sep 17 00:00:00 2001
From: Manuel Dublanc <19774382+manud99@users.noreply.github.com>
Date: Thu, 2 May 2024 18:04:32 +0200
Subject: [PATCH] Remove MissingOutput flag from test case conditionals2.vpr

---
 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)
 }