Merging complete. Everything looks good *crosses fingers*

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;
+}