Revert "verific: import enum attributes from verific"
authorEddie Hung <eddie@fpgeh.com>
Fri, 24 Apr 2020 18:57:55 +0000 (11:57 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 24 Apr 2020 18:57:55 +0000 (11:57 -0700)
commitb52eccef3a40116c035e91eff5df80134b310db4
treecc9d7a8bbcd12649ff3a9cb882a0ed4df84b086b
parentd3555c667c5057f39e0ea31a518d1f4922f2b2a4
Revert "verific: import enum attributes from verific"

This reverts commit 5028e17f7db11f901ce9e423dfe2c6f7e68259cc.
frontends/verific/verific.cc