Fix handling of $global_clocking in Verific
authorClifford Wolf <clifford@clifford.at>
Fri, 6 Apr 2018 19:23:47 +0000 (21:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 6 Apr 2018 19:23:47 +0000 (21:23 +0200)
commit0ac768f9df66d010bfc9ac264b1a3228f985a994
tree9248b0d3c0df442649decab41d020c69891da4fc
parent035f778121c179e0712e6c81f19195d0ab2c2f35
Fix handling of $global_clocking in Verific

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