From befbf4ddbf7aea38c726ce12ca8b13660fef1d3c Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 13 Jul 2009 00:36:03 +0000 Subject: [PATCH] bug in casting code --- Robust/src/IR/Tree/SemanticCheck.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)); } } -- 2.34.1