summaryrefslogtreecommitdiff
path: root/Test/test0
diff options
context:
space:
mode:
Diffstat (limited to 'Test/test0')
-rw-r--r--Test/test0/Answer4
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/test0/Answer b/Test/test0/Answer
index 90721188..8d9ba2c3 100644
--- a/Test/test0/Answer
+++ b/Test/test0/Answer
@@ -99,9 +99,9 @@ WhereParsing.bpl(15,33): Error: where clause not allowed here
WhereParsing0.bpl(17,38): Error: where clause not allowed here
WhereParsing0.bpl(18,38): Error: where clause not allowed here
2 parse errors detected in WhereParsing0.bpl
-WhereParsing1.bpl(14,27): syntax error: ) expected
+WhereParsing1.bpl(14,27): syntax error: ")" expected
1 parse errors detected in WhereParsing1.bpl
-WhereParsing2.bpl(1,14): syntax error: ; expected
+WhereParsing2.bpl(1,14): syntax error: ";" expected
1 parse errors detected in WhereParsing2.bpl
WhereResolution.bpl(28,38): Error: undeclared identifier: alpha
WhereResolution.bpl(32,30): Error: old expressions allowed only in two-state contexts