1 files changed, 12 insertions, 12 deletions
diff --git a/Test/bitvectors/bv10.bpl b/Test/bitvectors/bv10.bpl
index cacf9f7a..6ba4ad7a 100644
--- a/Test/bitvectors/bv10.bpl
+++ b/Test/bitvectors/bv10.bpl
@@ -1,12 +1,12 @@
-// RUN: %boogie "%s" > "%t"
-// RUN: %diff "%s.expect" "%t"
-var x: bv32;
-
-procedure main() 
-modifies x;
-{
-
-  x := 0bv32;
-  assume x == 1bv32;
-  assert false;
-}
+// RUN: %boogie "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+var x: bv32;
+
+procedure main() 
+modifies x;
+{
+
+  x := 0bv32;
+  assume x == 1bv32;
+  assert false;
+}