Remove all PSL support code from verific.cc
authorClifford Wolf <clifford@clifford.at>
Fri, 20 Oct 2017 11:14:04 +0000 (13:14 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 20 Oct 2017 11:14:04 +0000 (13:14 +0200)
commit0a31a0b3ae570007196c4b4dd6c16ba7de7f3ba9
tree020a6f3ba025d4027342b390ad69be1bef4c5fac
parent309f8fe74f2f5dc33d5e7d034f0b2c12e2b77b14
Remove all PSL support code from verific.cc
frontends/verific/verific.cc