Fix nasty bug in Verific bindings
authorClifford Wolf <clifford@clifford.at>
Wed, 4 Oct 2017 15:23:42 +0000 (17:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 4 Oct 2017 15:23:42 +0000 (17:23 +0200)
commitb92ff2706e0ad3b57d7cab06528f9c1287ef81fc
tree98abee08243046935ae7423f7f2a15bf3c92eaa0
parenta381188b92f08f6793392bc23a7019be1d7c1836
Fix nasty bug in Verific bindings
frontends/verific/verific.cc