Fix for issue 594.
authorTom Verbeure <hombre+github@gmail.com>
Tue, 2 Oct 2018 07:44:23 +0000 (07:44 +0000)
committerJim Lawson <ucbjrl@berkeley.edu>
Mon, 8 Oct 2018 18:38:10 +0000 (11:38 -0700)
commitb8950bd603aec17c1a0355f1e8d03c0ddecfbe80
tree8c89ec0a22d7571530a96901f9a2f2ecf374c254
parentd3be61b9dc12f5eb084ae7b5cfaefb8fc8a04de1
Fix for issue 594.
frontends/ast/genrtlil.cc