1 files changed, 31 insertions, 31 deletions
diff --git a/Test/test2/Axioms.bpl b/Test/test2/Axioms.bpl
index 1fa8fab3..51d9ed00 100644
--- a/Test/test2/Axioms.bpl
+++ b/Test/test2/Axioms.bpl
@@ -1,31 +1,31 @@
-// RUN: %boogie -noinfer "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-const Seven: int;
-axiom Seven == 7;
-
-function inc(int) returns (int);
-axiom (forall j: int :: inc(j) == j+1);
-
-procedure P()
-{
-  start:
-    assert 4 <= Seven;
-    assert Seven < inc(Seven);
-    assert inc(5) + inc(inc(2)) == Seven + 3;
-    return;
-}
-
-procedure Q()
-{
-  start:
-    assert inc(5) + inc(inc(2)) == Seven;  // error
-    return;
-}
-
-function inc2(x:int) returns(int) { x + 2 }
-
-procedure ExpandTest()
-{
-  var q:int;
-  assert inc(inc(q)) == inc2(q);
-}
+// RUN: %boogie -noinfer "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+const Seven: int;
+axiom Seven == 7;
+
+function inc(int) returns (int);
+axiom (forall j: int :: inc(j) == j+1);
+
+procedure P()
+{
+  start:
+    assert 4 <= Seven;
+    assert Seven < inc(Seven);
+    assert inc(5) + inc(inc(2)) == Seven + 3;
+    return;
+}
+
+procedure Q()
+{
+  start:
+    assert inc(5) + inc(inc(2)) == Seven;  // error
+    return;
+}
+
+function inc2(x:int) returns(int) { x + 2 }
+
+procedure ExpandTest()
+{
+  var q:int;
+  assert inc(inc(q)) == inc2(q);
+}