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