Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

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

diff --git a/Repair/RepairCompiler/MCC/IR/LogicStatement.java b/Repair/RepairCompiler/MCC/IR/LogicStatement.java
index aa093b4da76f4c2841488acf2abf9f753e05ad17..58710048a6ad9ea491a92486d995782d3f00f540 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/LogicStatement.java
+++ b/Repair/RepairCompiler/MCC/IR/LogicStatement.java
@@ -9,8 +9,10 @@ public class LogicStatement {
     public static final Operation NOT = new Operation("NOT");
 
     public String name() {
+       if (op==NOT)
+           return "!"+left.name();
        String name=left.name();
-       name+=op.toString();
+       name+=" "+op.toString()+" ";
        if (right!=null)
            name+=right.name();
        return name;