tree 5d7a941c8dd12e651325c05986bad59467a4a1a4
parent 6af0d03faede4a8d87292a76ae70dd1362dfcbb3
author Clifford Wolf <clifford@clifford.at> 1574434807 +0100
committer Clifford Wolf <clifford@clifford.at> 1574434807 +0100

Improve handling of verific primitives in "verific -import -V" mode

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