diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-10-30 08:32:59 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-10-30 08:32:59 +0100 |
| commit | c228cb74d613ea37a54e12df96e97a142124ddab (patch) | |
| tree | a6485149d47f296af63dd10dbf20d7e083425868 /frontends/verific | |
| parent | e2a39bb1e71b97d423a3c2233abce996376e25dd (diff) | |
| download | yosys-c228cb74d613ea37a54e12df96e97a142124ddab.tar.gz yosys-c228cb74d613ea37a54e12df96e97a142124ddab.tar.bz2 yosys-c228cb74d613ea37a54e12df96e97a142124ddab.zip | |
Update verific version
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 e236aaaf2..31c77d39c 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -55,7 +55,7 @@ USING_YOSYS_NAMESPACE # error "Only Symbiotic EDA flavored Verific is supported. Please contact office@symbioticeda.com for commercial support for Yosys+Verific." #endif -#if SYMBIOTIC_VERIFIC_API_VERSION < 20200902 +#if SYMBIOTIC_VERIFIC_API_VERSION < 20201001 # error "Please update your version of Symbiotic EDA flavored Verific." #endif |