From: bdemsky <bdemsky>
Date: Mon, 24 Jan 2005 18:41:54 +0000 (+0000)
Subject: Committing pretty printer fix.
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=64af44575fed40d0a80fa63ef9b3b34d58be5213

Committing pretty printer fix.
---

diff --git a/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java b/Repair/RepairCompiler/MCC/IR/ImageSetExpr.java
index a6d2f1a..5586b47 100755
--- 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)