diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-08-02 10:29:16 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-08-02 10:29:58 +0200 |
| commit | be04d8834ea5380a8926255cd6a9482806006b91 (patch) | |
| tree | 13a48cb3706926bdbef762977907da3575cbea05 /frontends/verific | |
| parent | 10bcc4e1926cb7cee7aa12646e82ec16a42ce480 (diff) | |
| download | yosys-be04d8834ea5380a8926255cd6a9482806006b91.tar.gz yosys-be04d8834ea5380a8926255cd6a9482806006b91.tar.bz2 yosys-be04d8834ea5380a8926255cd6a9482806006b91.zip | |
Require latest verific
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 357b88043..5a10568c7 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -56,7 +56,7 @@ USING_YOSYS_NAMESPACE # error "Only YosysHQ flavored Verific is supported. Please contact office@yosyshq.com for commercial support for Yosys+Verific." #endif -#if YOSYSHQ_VERIFIC_API_VERSION < 20210603 +#if YOSYSHQ_VERIFIC_API_VERSION < 20210701 # error "Please update your version of YosysHQ flavored Verific." #endif |