X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCRuntime%2Finstrument.c;h=dd1ccc0b29212e649b7c1c9a66d759eccfbdb54c;hp=ab5db1e8aa85c78a50ec6d14066d2e86894325f6;hb=1cd12e2adeb9468c7d22a8ce9225025fd0a2d001;hpb=718e0cc7840877865c1f7d6d1b4aa4dd6a2311b2

diff --git a/Repair/RepairCompiler/MCC/CRuntime/instrument.c b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
index ab5db1e..dd1ccc0 100755
--- a/Repair/RepairCompiler/MCC/CRuntime/instrument.c
+++ b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
@@ -24,7 +24,9 @@ void *ourmalloc(size_t size) {
 }
 
 void ourfree(void *ptr) {
-  typemapdeallocate(memmap, ptr);
+  if (ptr!=NULL) {
+    typemapdeallocate(memmap, ptr);
+  }
   free(ptr);
 }