Merge branch 'master' into meilers_fix_803

viperproject · Jun 12, 2024 · 1f0ceea · 1f0ceea
2 parents 9ee856f + 86742da
commit 1f0ceea
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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)
 }