few more changes
authorbdemsky <bdemsky>
Wed, 18 Feb 2009 09:26:19 +0000 (09:26 +0000)
committerbdemsky <bdemsky>
Wed, 18 Feb 2009 09:26:19 +0000 (09:26 +0000)
commitc706ce9e549f613b16b355307bf8695ab5df9cba
treead66f2edd7ead84604e67bac8a44c750955b46d2
parent167486e9d21a0900032c07aab199a4c6fbb4b2ab
few more changes
Robust/src/IR/State.java
Robust/src/IR/Tree/SemanticCheck.java
Robust/src/IR/TypeUtil.java
Robust/src/Main/Main.java