From 38bacfa50ab4db8364190c49ed6ee4c4c290bb2e Mon Sep 17 00:00:00 2001
From: Nadia Polikarpova <nadia.polikarpova@gmail.com>
Date: Thu, 14 Feb 2013 18:14:41 -0800
Subject: Updated a test in dafny2 with the new calc syntax.

---
 Test/dafny2/Calculations.dfy | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Test/dafny2')

diff --git a/Test/dafny2/Calculations.dfy b/Test/dafny2/Calculations.dfy
index 777be464..c637147a 100644
--- a/Test/dafny2/Calculations.dfy
+++ b/Test/dafny2/Calculations.dfy
@@ -143,13 +143,14 @@ ghost method Lemma_Fib()
   calc {
     Fib(5);
     Fib(4) + Fib(3);
+  <
     calc {
       Fib(2);
       Fib(0) + Fib(1);
       0 + 1;
       1;
     }
-    < 6;
+    6;
   }
 }
 
-- 
cgit v1.2.3