X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=5d036f2d5c940350633f98defb5165d4cba63704;hb=72e4ac7e09dac04744d8e1b4d8166a23fd197786;hp=d24602bea33fa2139975d5b148c4bfc509129345;hpb=a21f15bd29177a34bc0c33418157cf7974dd853c;p=model-checker.git

diff --git a/main.cc b/main.cc
index d24602b..5d036f2 100644
--- a/main.cc
+++ b/main.cc
@@ -1,5 +1,3 @@
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
 #include "libthreads.h"
 #include "common.h"
 #include "threads.h"