1 files changed, 13 insertions, 13 deletions
diff --git a/Test/bitvectors/bv5.bpl b/Test/bitvectors/bv5.bpl
index 73dff1ad..048bc315 100644
--- a/Test/bitvectors/bv5.bpl
+++ b/Test/bitvectors/bv5.bpl
@@ -1,13 +1,13 @@
-// RUN: %boogie  "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-
-procedure P() returns () {
-  var m : <a>[a]int;
-
-  m[23bv5] := 17;
-  m[21bv5] := 19;
-  m[21bv6] := -3;
-
-  assert m[23bv5] == 17;
-  assert m[21bv6] == 3; // should not be provable
-}
+// RUN: %boogie  "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+procedure P() returns () {
+  var m : <a>[a]int;
+
+  m[23bv5] := 17;
+  m[21bv5] := 19;
+  m[21bv6] := -3;
+
+  assert m[23bv5] == 17;
+  assert m[21bv6] == 3; // should not be provable
+}