Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln

1 files changed, 3 insertions, 3 deletions

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] -> {