small changes

[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 bf03f04bada39ac855dcc5750b59d1d9e0b60708..25788a6b480f7f0b244f8a96b1784b81d4d9a79e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/CRuntime/tmap.c
+++ b/Repair/RepairCompiler/MCC/CRuntime/tmap.c
@@ -11,9 +11,11 @@
 
 struct typemap * allocatetypemap() {
   struct typemap *thisvar=(struct typemap *) malloc(sizeof(struct typemap));
+#ifdef CHECKTYPE||CHECKMEMORY
   thisvar->alloctree=rbinit();
   thisvar->typetree=rbinit();
   thisvar->low=GC_linux_stack_base();
+#endif
   return thisvar;
 }