Adapted test annotation

viperproject · Feb 11, 2024 · 9f67812 · 9f67812
1 parent 0930905
commit 9f67812
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/resources/all/issues/silver/0456.vpr b/src/test/resources/all/issues/silver/0456.vpr
@@ -8,7 +8,7 @@ field val: Int
 define wandA(a) acc(a.val) --* acc(a.val)
 
 function reqA(a: Ref): Int
-  //:: ExpectedOutput(consistency.error)
+  //:: ExpectedOutput(typechecker.error)
   requires wandA(a)
 
 method test_wand_framing_2(a: Ref) {