remove lines from other files

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index ca7588415ce6ee27cb446c5af01ab148f1e5a844..9a92aac259d644a62c3fef5b672b621d55d4d888 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -1,4 +1,3 @@
-/* -*- Mode: C; indent-tabs-mode: t -*- */

 #include <inttypes.h>
 #include <sys/mman.h>
 #include <unistd.h>
 #include <inttypes.h>
 #include <sys/mman.h>
 #include <unistd.h>