don't call the typemap with value 0

diff --git a/Repair/RepairCompiler/MCC/CRuntime/instrument.c b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
index ab5db1e8aa85c78a50ec6d14066d2e86894325f6..dd1ccc0b29212e649b7c1c9a66d759eccfbdb54c 100755 (executable)
--- 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);
 }