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

diff --git a/mymemory.cc b/mymemory.cc
index 88018e2..2c5adc0 100644
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -13,6 +13,9 @@ 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) {