From f30d6339fc9db88afcd53bac9671666b5f7a3516 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 16 Aug 2004 17:23:57 +0000
Subject: [PATCH] Record that we allocated a new object.

---
 Repair/RepairCompiler/MCC/IR/Sources.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Repair/RepairCompiler/MCC/IR/Sources.java b/Repair/RepairCompiler/MCC/IR/Sources.java
index fd8205f..da41331 100755
--- a/Repair/RepairCompiler/MCC/IR/Sources.java
+++ b/Repair/RepairCompiler/MCC/IR/Sources.java
@@ -45,7 +45,7 @@ public class Sources {
 	e.generate(cr, size);
 	cr.popSymbolTable();
 	cr.outputline(td.getGenerateType().getSafeSymbol()+" "+vd.getSafeSymbol()+"=("+td.getGenerateType().getSafeSymbol()+") calloc(1,"+size.getSafeSymbol()+");");
-	
+	cr.outputline("alloc("+vd.getSafeSymbol()+","+size.getSafeSymbol()+");");
 	if (Compiler.ALLOCATECPLUSPLUS) {
 	    if (td instanceof StructureTypeDescriptor) {
 		if (((StructureTypeDescriptor)td).size()>0) {
-- 
2.34.1