From: cristic Date: Fri, 16 Apr 2004 23:03:42 +0000 (+0000) Subject: Fixed cristian bug X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bd3a9c5b1388638b51e07bd06d2b51f0f8ce43e4;p=repair.git Fixed cristian bug --- diff --git a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java index 741087e..42eaf29 100755 --- a/Repair/RepairCompiler/MCC/IR/RepairGenerator.java +++ b/Repair/RepairCompiler/MCC/IR/RepairGenerator.java @@ -1343,7 +1343,7 @@ public class RepairGenerator { cr.outputline("if ("+mdfyptr.getSafeSymbol()+")"); { cr.startblock(); - cr.outputline("void (*"+funptr.getSafeSymbol()+") ("+name+"_state *,"+name+"*,RepairHash *"+parttype+"int,int,int)="+"(void (*) ("+name+"_state *,"+name+"*,RepairHash *"+parttype+"int,int,int)) "+tmpptr.getSafeSymbol()); + cr.outputline("void (*"+funptr.getSafeSymbol()+") ("+name+"_state *,"+name+"*,RepairHash *"+parttype+",int,int,int)="+"(void (*) ("+name+"_state *,"+name+"*,RepairHash *"+parttype+",int,int,int)) "+tmpptr.getSafeSymbol()); cr.outputline(methodcall+leftvar+", "+rightvar+", "+mdfyptr.getSafeSymbol() +");"); cr.endblock(); }