Store status in flagactionnode
authorbdemsky <bdemsky>
Wed, 13 Dec 2006 00:58:58 +0000 (00:58 +0000)
committerbdemsky <bdemsky>
Wed, 13 Dec 2006 00:58:58 +0000 (00:58 +0000)
commit299e7c3aaee86b30d4fed62ee40dcf34e7be1642
tree8bcda38713fce0bbb04aea48e84a966a7103c91b
parentd6efe4164d441640e2e0925337e0953a313f9734
Store status in flagactionnode
Robust/src/IR/Flat/BuildFlat.java
Robust/src/IR/Flat/FlatFlagActionNode.java