Update test

boogie-org · Nov 9, 2021 · edcf878 · edcf878
1 parent fc5665f
commit edcf878
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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