remove lines from other files

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 35000dc17d2ad40f73ea3652f0b634dd9f95678b..80957adf7b1709c015b4a30bc82deacc98767b92 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -1,5 +1,3 @@
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
 #include "libthreads.h"
 #include "common.h"
 #include "threads.h"