Fix erroneous ifndef-NDEBUG in verific.cc
authorClifford Wolf <clifford@clifford.at>
Sat, 17 Aug 2019 12:47:02 +0000 (14:47 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 17 Aug 2019 12:49:55 +0000 (14:49 +0200)
commit27d59dc0550432458d4bd636081a7b9f4b4411fe
treee9b591c5f259ec308a7f1dd0b412a5ca09cf2ff6
parent6b156beda16cce69e7318a3a2fdbc3ad547370c6
Fix erroneous ifndef-NDEBUG in verific.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc