Fix compiler warning in verific.cc
authorClifford Wolf <clifford@clifford.at>
Fri, 5 Oct 2018 07:26:10 +0000 (09:26 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 5 Oct 2018 07:26:10 +0000 (09:26 +0200)
commit4b0448fc2cc707f312813b4e0826371fa384e3d9
tree794ff8eba515879077f7e541f81e2876db6c432d
parent5f1fea08d5e14ecaa1cf60eb865c60132a0ce3e1
Fix compiler warning in verific.cc

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