remove unused #define

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 891a93f0d56c6b0fb083af75701badbafdb01041..1af6109725978bc39e36964c9a964f31acc56346 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -3,7 +3,6 @@
 #include "snapshotimp.h"
 #include <stdio.h>
 #include <dlfcn.h>
-#define MSPACE_SIZE ( 1 << 20 )
 #if !USE_CHECKPOINTING
 static mspace sStaticSpace = NULL;
 #endif