remove lines from other files

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index d24602bea33fa2139975d5b148c4bfc509129345..5d036f2d5c940350633f98defb5165d4cba63704 100644 (file)
--- 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"