Merging complete. Everything looks good *crosses fingers*

1 files changed, 18 insertions, 18 deletions

diff --git a/Test/test2/False.bpl b/Test/test2/False.bpl
index a0337182..54b95e2e 100644
--- a/Test/test2/False.bpl
+++ b/Test/test2/False.bpl
@@ -1,18 +1,18 @@
-// RUN: %boogie -noinfer "%s" > "%t"

-// RUN: %diff "%s.expect" "%t"

-procedure Test1()

-{

-   entry:

-      assert !true == false;

-      return;

-}

-

-procedure Test2()

-{

-   var b: bool;

-

-   entry:

-      assume b != false;

-      assert b;

-      return;

-}

+// RUN: %boogie -noinfer "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+procedure Test1()
+{
+   entry:
+      assert !true == false;
+      return;
+}
+
+procedure Test2()
+{
+   var b: bool;
+
+   entry:
+      assume b != false;
+      assert b;
+      return;
+}