Quantifier bugs.

[repair.git] / Repair / RepairCompiler / MCC / IR / SumExpr.java

diff --git a/Repair/RepairCompiler/MCC/IR/SumExpr.java b/Repair/RepairCompiler/MCC/IR/SumExpr.java
index c2b30ff3ff42a0fe06fd5c194ae1fed4b05dfe06..64c336d651cc94b35f24e912f91ccb3de8733488 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/SumExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/SumExpr.java
@@ -72,7 +72,7 @@ public class SumExpr extends Expr {
 
             VarDescriptor newset=VarDescriptor.makeNew("newset");
             writer.addDeclaration("struct SimpleHash *",newset.getSafeSymbol());
-            writer.outputline(newset.getSafeSymbol()+"=SimpleHashimageSet("+rd.getSafeSymbol()+"_hash, "+keyvd.getSafeSymbol()+", &"+tmpvar.getSafeSymbol()+");");
+            writer.outputline(newset.getSafeSymbol()+"=SimpleHashimageSet("+rd.getSafeSymbol()+"_hash, "+keyvd.getSafeSymbol()+");");
 
             VarDescriptor itvd2=VarDescriptor.makeNew("iterator");
             writer.addDeclaration("struct SimpleIterator",itvd2.getSafeSymbol());