From bd3a9c5b1388638b51e07bd06d2b51f0f8ce43e4 Mon Sep 17 00:00:00 2001
From: cristic <cristic>
Date: Fri, 16 Apr 2004 23:03:42 +0000
Subject: [PATCH] Fixed cristian bug

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

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();
 		}
-- 
2.34.1