Fixed building verific bindings
authorClifford Wolf <clifford@clifford.at>
Tue, 12 Aug 2014 13:21:06 +0000 (15:21 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 12 Aug 2014 13:21:06 +0000 (15:21 +0200)
commit593264e9edce8b1df1d5b691353fa592261d4f3b
treed823596064cab0dff9971cd44525a13fd8fbf40e
parentcad98bcd89cd9747f3ea9e35eed8d9bbedd64d7a
Fixed building verific bindings
frontends/verific/build_amd64.txt
frontends/verific/verific.cc