when inserting FlatExit, consider if task body's block node-node pair ends with a...
authorjjenista <jjenista>
Thu, 9 Apr 2009 16:26:12 +0000 (16:26 +0000)
committerjjenista <jjenista>
Thu, 9 Apr 2009 16:26:12 +0000 (16:26 +0000)
commit16e864c5a8ffcbf9502b19b9295ed05957e63c23
treea6435c3c7d99bc11ebbefcb0687a906fe88707d7
parentd7c1ff751a2c007c42b33735d676f8136878fec0
when inserting FlatExit, consider if task body's block node-node pair ends with a null node
Robust/src/IR/Flat/BuildFlat.java