diff options
Diffstat (limited to 'frontends/verific/verific.h')
| -rw-r--r-- | frontends/verific/verific.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index 28a0c174b..2ca01072f 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -23,7 +23,7 @@ YOSYS_NAMESPACE_BEGIN -extern bool verific_verbose; +extern int verific_verbose; extern pool<int> verific_sva_prims; |