Committing pretty printer fix.
authorbdemsky <bdemsky>
Mon, 24 Jan 2005 18:41:54 +0000 (18:41 +0000)
committerbdemsky <bdemsky>
Mon, 24 Jan 2005 18:41:54 +0000 (18:41 +0000)
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)