1 files changed, 25 insertions, 25 deletions
diff --git a/Test/stratifiedinline/bar2.bpl b/Test/stratifiedinline/bar2.bpl
index a4f367de..beebf459 100644
--- a/Test/stratifiedinline/bar2.bpl
+++ b/Test/stratifiedinline/bar2.bpl
@@ -1,25 +1,25 @@
-// RUN: %boogie -stratifiedInline:1 -vc:i "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-procedure foo() returns (x: bool)
-{
-  var b: bool;
-  if (b) {
-    x := false;
-    return;
-  } else {
-    x := true;
-    return;
-  }
-}
-
-procedure {:entrypoint} main()
-{
-  var b1: bool;
-  var b2: bool;
-
-  call b1 := foo();
-  call b2 := foo();
-  assume b1 != b2;
-}
-
-
+// RUN: %boogie -stratifiedInline:1 -vc:i "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+procedure foo() returns (x: bool)
+{
+  var b: bool;
+  if (b) {
+    x := false;
+    return;
+  } else {
+    x := true;
+    return;
+  }
+}
+
+procedure {:entrypoint} main()
+{
+  var b1: bool;
+  var b2: bool;
+
+  call b1 := foo();
+  call b2 := foo();
+  assume b1 != b2;
+}
+
+