1 files changed, 22 insertions, 22 deletions
diff --git a/Test/test2/LoopInvAssume.bpl b/Test/test2/LoopInvAssume.bpl
index fd95c52e..a1e9a894 100644
--- a/Test/test2/LoopInvAssume.bpl
+++ b/Test/test2/LoopInvAssume.bpl
@@ -1,22 +1,22 @@
-// RUN: %boogie -noinfer "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-// Check that assumes in loop invariants are handled correctly
-
-var x : int;
-
-procedure Test()
-  modifies x;
-{
-   entry:
-      goto loophead, exit;
-
-   loophead:
-      assume x >= 0;
-      x := 0;
-      goto loophead, exit; 
-
-   exit:
-      assume x < 0;
-      assert false;
-      return;
-}
+// RUN: %boogie -noinfer "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+// Check that assumes in loop invariants are handled correctly
+
+var x : int;
+
+procedure Test()
+  modifies x;
+{
+   entry:
+      goto loophead, exit;
+
+   loophead:
+      assume x >= 0;
+      x := 0;
+      goto loophead, exit; 
+
+   exit:
+      assume x < 0;
+      assert false;
+      return;
+}