Bugfix in Verific front-end
authorClifford Wolf <clifford@clifford.at>
Wed, 3 Feb 2016 07:59:57 +0000 (08:59 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 3 Feb 2016 07:59:57 +0000 (08:59 +0100)
commit6a27cbe5b17b012aef904bc31c13d8a2b0b15f01
tree5c1abdc8d97299dcacf2c47226c6bd93ad14b3b4
parent4a3e1ded1e2dfd3d9a836aaed793978ddff6161b
Bugfix in Verific front-end
frontends/verific/verific.cc