1 files changed, 15 insertions, 15 deletions
diff --git a/Test/snapshots/Snapshots29.v0.bpl b/Test/snapshots/Snapshots29.v0.bpl
index f4087f90..840aed82 100644
--- a/Test/snapshots/Snapshots29.v0.bpl
+++ b/Test/snapshots/Snapshots29.v0.bpl
@@ -1,15 +1,15 @@
-procedure {:checksum "0"} P();
-
-implementation {:id "P"} {:checksum "1"} P()
-{
-    var i: int;
-
-    i := 0;
-
-    while (*)
-    {
-        i := 0;
-    }
-
-    assert i == 0;
-}
+procedure {:checksum "0"} P();
+
+implementation {:id "P"} {:checksum "1"} P()
+{
+    var i: int;
+
+    i := 0;
+
+    while (*)
+    {
+        i := 0;
+    }
+
+    assert i == 0;
+}