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 ab5db1e..dd1ccc0 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);
 }