diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2021-09-02 14:59:16 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-09-02 14:59:16 +0200 |
| commit | c3d4bb4cc95c417225fec8b16147dec3453ab94d (patch) | |
| tree | 3e740f01778caec3a37cc1d62e0308bde876e7f5 /frontends/verific/verific.cc | |
| parent | fe9da25c4030828d04fd38a1d1150d12e8fb4f51 (diff) | |
| download | yosys-c3d4bb4cc95c417225fec8b16147dec3453ab94d.tar.gz yosys-c3d4bb4cc95c417225fec8b16147dec3453ab94d.tar.bz2 yosys-c3d4bb4cc95c417225fec8b16147dec3453ab94d.zip | |
update required verific version
Diffstat (limited to 'frontends/verific/verific.cc')
| -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 1b8bc1b51..99094f099 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -58,7 +58,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 < 20210701 +#if YOSYSHQ_VERIFIC_API_VERSION < 20210801 # error "Please update your version of YosysHQ flavored Verific." #endif |