X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=80957adf7b1709c015b4a30bc82deacc98767b92;hb=72e4ac7e09dac04744d8e1b4d8166a23fd197786;hp=35000dc17d2ad40f73ea3652f0b634dd9f95678b;hpb=a21f15bd29177a34bc0c33418157cf7974dd853c;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 35000dc..80957ad 100644
--- 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"