Fix for issue 594.
authorTom Verbeure <hombre+github@gmail.com>
Tue, 2 Oct 2018 07:44:23 +0000 (07:44 +0000)
committerTom Verbeure <hombre+github@gmail.com>
Tue, 2 Oct 2018 07:44:23 +0000 (07:44 +0000)
commitcb214fc01d95ed9df7de10ccffa3471a1dc91659
treeab0aeeea5b359d51e5215b5706d77386e766705b
parent62424ef3de67dc8077a0ca03b302966f0284730f
Fix for issue 594.
frontends/ast/genrtlil.cc