From: Brian Demsky <bdemsky@uci.edu>
Date: Sat, 19 May 2012 01:23:08 +0000 (-0700)
Subject: remove unused #define
X-Git-Tag: pldi2013~427
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=607a6be09a7e5d8cbf29943dbd5bef09619e5f84

remove unused #define
---

diff --git a/mymemory.cc b/mymemory.cc
index 891a93f..1af6109 100644
--- 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