Committing pretty printer fix.
[repair.git] / Repair / RepairCompiler / MCC / IR / ImageSetExpr.java
index a6d2f1a..5586b47 100755 (executable)
@@ -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)