X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=snapshot-interface.cc;h=8971169786717cb84201208d565d152d7f80f7cc;hb=9fcdad5ce4e6a253041894fd3e02061474e1af43;hp=9d6ad7f8b71d2d3c74e470d411ada615a44ce1be;hpb=6ec40350feecd12fe123b19a5ead7740f1c21bac;p=model-checker.git

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 9d6ad7f..8971169 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -9,7 +9,6 @@
 
 #define MYBINARYNAME "model"
 #define MYLIBRARYNAME "libmodel.so"
-#define MYALLOCNAME  "libmymemory.so"
 #define PROCNAME      "/proc/*/maps"
 #define REPLACEPOS		6
 #define PAGESIZE 4096
@@ -48,10 +47,9 @@ static void takeSegmentSnapshot( const MyString & lineText ){
 void SnapshotGlobalSegments(){
 	MyString fn = PROCNAME;
 	static char sProcessSize[ 12 ] = { 0 };
-	std::pair< const char *, bool > dataSect[ 3 ];
+	std::pair< const char *, bool > dataSect[ 2 ];
 	dataSect[ 0 ] = std::make_pair( MYBINARYNAME, false );
 	dataSect[ 1 ] = std::make_pair( MYLIBRARYNAME, false );
-	dataSect[ 2 ] = std::make_pair( MYALLOCNAME, false );
 	static pid_t sProcID = 0;
 	if( 0 == sProcID ) {
 		sProcID = getpid();