X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=snapshot.cc;h=9a92aac259d644a62c3fef5b672b621d55d4d888;hp=ca7588415ce6ee27cb446c5af01ab148f1e5a844;hb=72e4ac7e09dac04744d8e1b4d8166a23fd197786;hpb=a21f15bd29177a34bc0c33418157cf7974dd853c

diff --git a/snapshot.cc b/snapshot.cc
index ca75884..9a92aac 100644
--- 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>