1 files changed, 6 insertions, 6 deletions
diff --git a/Test/snapshots/Snapshots34.v1.bpl b/Test/snapshots/Snapshots34.v1.bpl
index b374f7c0..401b4f9e 100644
--- a/Test/snapshots/Snapshots34.v1.bpl
+++ b/Test/snapshots/Snapshots34.v1.bpl
@@ -1,6 +1,6 @@
-procedure {:checksum "2"} P();
-
-implementation {:id "P"} {:checksum "1"} P()
-{
-    assert 1 != 1;
-}
+procedure {:checksum "2"} P();
+
+implementation {:id "P"} {:checksum "1"} P()
+{
+    assert 1 != 1;
+}