mymemory: include some spacing

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 878e6de95810c60abd3df4c94a29fa7be4bbd0e4..9d598af7dfec11d77add4ecf02dbc845df924e00 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -1,4 +1,3 @@
-/* -*- Mode: C; indent-tabs-mode: t -*- */
 #include "mymemory.h"
 #include "snapshot.h"
 #include "snapshotimp.h"