X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=mymemory.cc;h=88018e269093c531a67bde16d27de8a95d6d6305;hb=f7e1577b22ac26c12dc57a43de2761aa9249227c;hp=2c5adc0a84324e045d66e33332472bd8f7fd56e2;hpb=ece544635301a0410fb98369b732e26ced95329e;p=model-checker.git

diff --git a/mymemory.cc b/mymemory.cc
index 2c5adc0..88018e2 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -13,9 +13,6 @@ int howManyFreed = 0;
 static mspace sStaticSpace = NULL;
 #endif
 
-//SUBRAMANIAN!!! PLEASE FIX THE MALLOC/FREE/CALLOC/ETC FOR FORK-BASED APPROACH
-//YOU HAVE NOT DONE THIS!!!!!!!!!!!
-
 /** Non-snapshotting malloc for our use. */
 
 void *MYMALLOC(size_t size) {