Fixed a memory leak in the runtime...Print neater text.

[repair.git] / Repair / RepairCompiler / MCC / CRuntime / tmap.c

diff --git a/Repair/RepairCompiler/MCC/CRuntime/tmap.c b/Repair/RepairCompiler/MCC/CRuntime/tmap.c
index 22333fd1570927e8c773944ab8207937f7da12d7..25c326d9068fcbfce731172d1d9170aff7a6e5ba 100755 (executable)
--- a/Repair/RepairCompiler/MCC/CRuntime/tmap.c
+++ b/Repair/RepairCompiler/MCC/CRuntime/tmap.c
@@ -17,7 +17,7 @@ struct typemap * allocatetypemap() {
 
 void freefunction(void *ptr) {
   if(ptr!=NULL) {
-    free((struct structuremap *)ptr);
+    freestructuremap((struct structuremap *)ptr);
   }
 }