Fix another stupid bug in the same line
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:47:51 +0000 (11:47 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:47:51 +0000 (11:47 +0100)
commitc449f4b86f66ca4ef2396454f09a73d56ff06512
tree237346b4570a5fe299f7cd2a0a3904a7e4ee2125
parentfa4a7efe15ccfca6c8200107284d02ee4ddabb9c
Fix another stupid bug in the same line
frontends/verific/verific.cc