From: bdemsky <bdemsky>
Date: Mon, 13 Jul 2009 00:36:03 +0000 (+0000)
Subject: bug in casting code
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=befbf4ddbf7aea38c726ce12ca8b13660fef1d3c;p=IRC.git

bug in casting code
---

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index 731ffd4a..2e9a5e9e 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -690,7 +690,7 @@ public class SemanticCheck {
     }
 
     if (!postinc&&!typeutil.isSuperorType(an.getDest().getType(),an.getSrc().getType())) {
-      throw new Error("Type of rside ("+an.getSrc().getType()+") not compatible with type of lside ("+an.getDest().getType()+")"+an.printNode(0));
+      throw new Error("Type of rside ("+an.getSrc().getType().toPrettyString()+") not compatible with type of lside ("+an.getDest().getType().toPrettyString()+")"+an.printNode(0));
     }
   }