From 64af44575fed40d0a80fa63ef9b3b34d58be5213 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 24 Jan 2005 18:41:54 +0000
Subject: [PATCH] Committing pretty printer fix.

---
 Repair/RepairCompiler/MCC/IR/ImageSetExpr.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.34.1