From 5db34109bbb72d290239dfdb571d321fe3f1c48c Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Wed, 1 Dec 2010 05:43:17 +0000
Subject: Eliminated dependencies on SpecSharp and CCI from Boogie.sln and
 Dafny.sln

---
 Test/test15/Answer | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Test/test15')

diff --git a/Test/test15/Answer b/Test/test15/Answer
index 4d0b3bad..f989c7bd 100644
--- a/Test/test15/Answer
+++ b/Test/test15/Answer
@@ -211,7 +211,7 @@ F -> *10
 m@0 -> -2
 r@0 -> -2
 x@@4 -> 797
-m@1 -> -1
+m@2 -> -1
 m@3 -> -1
 y@@1 -> **y@@1
 r -> **r
@@ -250,8 +250,8 @@ MapType0TypeInv0 -> {
 }
 @MV_state -> {
   0 -> true
-  1 -> true
-  2 -> true
+  3 -> true
+  4 -> true
   5 -> true
 }
 [3] -> {
-- 
cgit v1.2.3