Fixed performance bug in Verific importer
authorClifford Wolf <clifford@clifford.at>
Mon, 16 Nov 2015 11:38:56 +0000 (12:38 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 16 Nov 2015 11:38:56 +0000 (12:38 +0100)
commit415e0a1b90bf3ac54fa98cb049d3ae35a6855887
tree5009ba8c3369b3404ed2601540f8653dfd4befb9
parentb18f3a297475203420e6cf204bd4b7ea0f61e44f
Fixed performance bug in Verific importer
frontends/verific/verific.cc