Verific workaround for VIPER ticket 13851
authorClifford Wolf <clifford@clifford.at>
Thu, 16 Aug 2018 09:31:19 +0000 (11:31 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 16 Aug 2018 09:31:19 +0000 (11:31 +0200)
commit0899a53bee39e209551a3122c7c820b7ed2b48c3
treeb372273be0fcdd95e7bbe00bd5d2703a2a1f6108
parentce3dc3e01d288a8e545fb5fd24a2a06d205c6b0d
Verific workaround for VIPER ticket 13851

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