diff --git a/Test/test0/WhereParsing2.bpl.expect b/Test/test0/WhereParsing2.bpl.expect
index 17484299e..9932f556a 100644
--- a/Test/test0/WhereParsing2.bpl.expect
+++ b/Test/test0/WhereParsing2.bpl.expect
@@ -1,2 +1,2 @@
-WhereParsing2.bpl(3,14): error: ";" expected
+WhereParsing2.bpl(3,14): error: invalid Consts
 1 parse errors detected in WhereParsing2.bpl