Fix verific handling of anyconst/anyseq attributes
authorClifford Wolf <clifford@clifford.at>
Thu, 24 May 2018 15:07:06 +0000 (17:07 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 24 May 2018 15:07:06 +0000 (17:07 +0200)
commit4d645f0fce9e3af857cb292eca719c22141d379b
tree670b800e0c6afef96eeb280b7d5babb9acefe56f
parenta5f4b44745f023dffd096258d965d3c5d685021e
Fix verific handling of anyconst/anyseq attributes

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