From 67c07706d2b4ee941954301a0c18abfcf253384c Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Tue, 22 Jun 2010 17:58:58 +0000
Subject: 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.

---
 Test/test0/Answer | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/test0')

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
-- 
cgit v1.2.3