From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Mon, 6 Jun 2016 23:14:18 -0600
Subject: Merging complete.  Everything looks good *crosses fingers*

---
 Test/test1/AssumptionVariables0.bpl | 114 ++++++++++++++++++------------------
 1 file changed, 57 insertions(+), 57 deletions(-)

(limited to 'Test/test1/AssumptionVariables0.bpl')

diff --git a/Test/test1/AssumptionVariables0.bpl b/Test/test1/AssumptionVariables0.bpl
index 7046ea59..7ebd3d24 100644
--- a/Test/test1/AssumptionVariables0.bpl
+++ b/Test/test1/AssumptionVariables0.bpl
@@ -1,57 +1,57 @@
-// RUN: %boogie -noVerify "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-procedure Test0()
-{
-    var {:assumption} a0: bool where a0;  // error
-}
-
-
-procedure Test1()
-{
-    var {:assumption} a0: bool;
-
-    a0 := a0 && true;
-}
-
-
-procedure Test2()
-{
-    var {:assumption} a0: bool;
-
-    a0 := true;  // error
-}
-
-
-procedure Test3()
-{
-    var {:assumption} a0: bool;
-    var {:assumption} a1: bool;
-
-    a0 := a1 && true;  // error
-}
-
-
-procedure Test4()
-{
-    var {:assumption} a0: bool;
-
-    a0 := a0 && true;
-    a0 := a0 && true;  // error
-}
-
-
-procedure Test5()
-  modifies a0;
-{
-    a0 := a0 && true;
-}
-
-
-var {:assumption} a0: bool;
-
-
-procedure Test6()
-  modifies a0;
-{
-    a0 := a0 && true;  // error
-}
+// RUN: %boogie -noVerify "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+procedure Test0()
+{
+    var {:assumption} a0: bool where a0;  // error
+}
+
+
+procedure Test1()
+{
+    var {:assumption} a0: bool;
+
+    a0 := a0 && true;
+}
+
+
+procedure Test2()
+{
+    var {:assumption} a0: bool;
+
+    a0 := true;  // error
+}
+
+
+procedure Test3()
+{
+    var {:assumption} a0: bool;
+    var {:assumption} a1: bool;
+
+    a0 := a1 && true;  // error
+}
+
+
+procedure Test4()
+{
+    var {:assumption} a0: bool;
+
+    a0 := a0 && true;
+    a0 := a0 && true;  // error
+}
+
+
+procedure Test5()
+  modifies a0;
+{
+    a0 := a0 && true;
+}
+
+
+var {:assumption} a0: bool;
+
+
+procedure Test6()
+  modifies a0;
+{
+    a0 := a0 && true;  // error
+}
-- 
cgit v1.2.3