better error message
authorbdemsky <bdemsky>
Sun, 21 Dec 2008 05:31:04 +0000 (05:31 +0000)
committerbdemsky <bdemsky>
Sun, 21 Dec 2008 05:31:04 +0000 (05:31 +0000)
commit9c5e95ac4a9ded746dc5e76d78217139b14ccfe8
tree65d9047699cd016ad6897fc7ba4441154e717138
parent3366e897dcb32732b5dd6a6ad23486c3e740fef5
better error message
Robust/src/IR/State.java
Robust/src/IR/Tree/SemanticCheck.java