X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mymemory.cc;h=bc1d2ba6c236a6fcfd3c8ddaf94b4c6a082ce455;hb=2cb0055ec1c79bab394bc3b9ef27f783573c6cc8;hp=245b2701807710bbca6c1f69ea1df662e89e9181;hpb=c22fe323b21a945acb2eb07b01fd31a9402231a5;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 245b270..bc1d2ba 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -100,8 +100,6 @@ mspace mySpace = NULL;
 /** This global references the unaligned memory address that was malloced for the snapshotting heap */
 void * basemySpace = NULL;
 
-//Subramanian --- please make these work for the fork based approach
-
 /** Adding the fix for not able to allocate through a reimplemented calloc at the beginning before instantiating our allocator
 A bit circumspect about adding an sbrk. linux docs say to avoid using it... */
 
@@ -163,10 +161,8 @@ void * calloc( size_t num, size_t size ){
 	return mspace_calloc( mySpace, num, size );
 }
 
-
 /** Snapshotting new operator for user programs. */
 
-
 void * operator new(size_t size) throw(std::bad_alloc) {
 	return malloc(size);
 }