Indent the code a little better by default...isn't perfect, but better than it was...
authorbdemsky <bdemsky>
Mon, 22 Nov 2010 22:37:02 +0000 (22:37 +0000)
committerbdemsky <bdemsky>
Mon, 22 Nov 2010 22:37:02 +0000 (22:37 +0000)
commit4cb29aa002e34d2f1ed7f2e62e1febd60fb96be1
tree2d7d0a3d2fde0e1c9808f9d8a22fe32f0eeb14a9
parent4492205a93a21f3f30abb72c34d083a9e143bb9d
Indent the code a little better by default...isn't perfect, but better than it was...
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/Flat/RuntimeConflictResolver.java
Robust/src/Util/CodePrinter.java