commit | beb079f8eb08dd91055ff10062415ae8230571ce | [log] [tgz] |
---|---|---|
author | khussey <khussey> | Tue Nov 28 16:29:42 2006 +0000 |
committer | khussey <khussey> | Tue Nov 28 16:29:42 2006 +0000 |
tree | 339bd199939918e359db0eea1a457ec2b5d22be2 | |
parent | 306987c52e6657d97538d2ead06e933928a0fc49 [diff] |
[163331] Ensuring redefinitions are treated as transitive by state machine validation rules.