stupid bugs in our realloc function fixed

diff --git a/Repair/RepairCompiler/MCC/CRuntime/instrument.c b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
index 66aef0d2e521c2bc85bda416d843100b4cb99f35..a2ed892bfd43b6bd835f0b7ce88c5b3ee4a474ba 100755 (executable)
--- a/Repair/RepairCompiler/MCC/CRuntime/instrument.c
+++ b/Repair/RepairCompiler/MCC/CRuntime/instrument.c
@@ -38,7 +38,8 @@ void *ourrealloc(void *ptr, size_t size) {
     return orr;
   }
   typemapdeallocate(memmap, ptr);
-  typemapallocate(memmap, ptr,size);
+  typemapallocate(memmap, orr,size);
+  return otr;
 }
 
 void alloc(void *ptr,int size) {