Update Verific default path
authorClifford Wolf <clifford@clifford.at>
Fri, 4 Jan 2019 13:44:35 +0000 (14:44 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 4 Jan 2019 13:44:35 +0000 (14:44 +0100)
commitf5d23d4c7af33f73b1d9250e458b0932ff7a965b
tree81a73d274f1b7503d8b0be260115d492d400925e
parentd98fe8ce1fbcd5480181ed22d43b850863191033
Update Verific default path

Signed-off-by: Clifford Wolf <clifford@clifford.at>
Makefile