Merge pull request #5 from hansiglaser/master
authorClifford Wolf <clifford@clifford.at>
Fri, 5 Apr 2013 14:04:51 +0000 (07:04 -0700)
committerClifford Wolf <clifford@clifford.at>
Fri, 5 Apr 2013 14:04:51 +0000 (07:04 -0700)
fsm_export: optionally use binary state encoding as state names instead of  s0, s1, ...


Trivial merge