X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FSources.java;h=797644a12dd42383fcd3db436b755a2272e45aad;hb=7f291611f4c559aca2ef3a01f205287fca8f1e7a;hp=da41331993a17e23987906569d991798bde6b30b;hpb=5ce3922b1c7157f5e3c1ec475da11b60d03f7b30;p=repair.git

diff --git a/Repair/RepairCompiler/MCC/IR/Sources.java b/Repair/RepairCompiler/MCC/IR/Sources.java
index da41331..797644a 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()+");");
+	cr.outputline("alloc((void *) "+vd.getSafeSymbol()+","+size.getSafeSymbol()+");");
 	if (Compiler.ALLOCATECPLUSPLUS) {
 	    if (td instanceof StructureTypeDescriptor) {
 		if (((StructureTypeDescriptor)td).size()>0) {