diff --git a/src/test/resources/all/issues/silver/0456.vpr b/src/test/resources/all/issues/silver/0456.vpr
index c84dab1ed..abfc86dc6 100644
--- 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) {