Committing pretty printer fix.

diff --git a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
index a6d2f1a8fb6bd82a8949362494b03bfe77bdcbc5..5586b47fd6d15c9bff4f01b0d6d9709d80feea20 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
@@ -45,7 +45,7 @@ public class ImageSetExpr extends SetExpr {
     public String name() {
        String name="";
        if (isimageset)
-           name+=ise.name();
+           name+=ise.name()+".";
        else
            name+=vd.toString()+".";
        if (inverse)