minor changes
authorjzhou <jzhou>
Thu, 4 Sep 2008 19:46:38 +0000 (19:46 +0000)
committerjzhou <jzhou>
Thu, 4 Sep 2008 19:46:38 +0000 (19:46 +0000)
commit0414eb85c4e89caf48ce768f530af5cb9f3cbf7f
treef7cb1c080384778cc2e92a47f38186951408da05
parent4ab4d5d15ccb5930069b0cd66b10914c812e7cd0
minor changes
Robust/src/Benchmarks/MMG/Java/MMG.java
Robust/src/Benchmarks/MMG/Nor/MMG.java
Robust/src/Benchmarks/MMG/Tag/MMG.java