remove lines from other files
[model-checker.git] / schedule.h
index e81ea935cc961b1568a25e095ae0ca4a6c9813bd..68900a56918add354fe471418567c1d289eca49c 100644 (file)
@@ -1,5 +1,3 @@
-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
 #ifndef __SCHEDULE_H__
 #define __SCHEDULE_H__