diff options
| author |  mikebarnett <unknown> | 2010-06-22 17:58:58 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-06-22 17:58:58 +0000 |
| commit | 67c07706d2b4ee941954301a0c18abfcf253384c (patch) | |
| tree | 994d3e772c2fce65605bd28b947ed7f2ede9d00a /Test/test0 | |
| parent | 98ee7b446b22df255ecf914d68f1997ea987877e (diff) | |
Updated the frame files to work with the latest Coco/R. This entails *not* having them in this repository because of license issues. Instead, they must be downloaded from http://boogiepartners.codeplex.com/ and then copied into the appropriate directories.
Lots of code changes to compensate for the new frame files.
Diffstat (limited to 'Test/test0')
| -rw-r--r-- | Test/test0/Answer | 4 |
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
|