search

tuura / plato

A DSL for asynchronous circuits specification
Other
12 stars 2 forks source link

Invariant information printed for STG will not include blank lines #72

Closed jrbeaumont closed 7 years ago

jrbeaumont commented 7 years ago

Noticed an issue when testing with Workcraft. This is a quick fix.

Invariant information would print with blank lines in between. Quite annoying.