diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2020-10-05 13:27:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-05 13:27:27 +0200 |
| commit | 1b7ed719a56896a582df5e6c2f904049cdcadc1f (patch) | |
| tree | 65490155066497983e251ce2b4356bc02ebe26b8 /frontends/verific/verific.cc | |
| parent | 5aa35b8992fab8b55c1c1fae793b4ad845fd4c4c (diff) | |
| download | yosys-1b7ed719a56896a582df5e6c2f904049cdcadc1f.tar.gz yosys-1b7ed719a56896a582df5e6c2f904049cdcadc1f.tar.bz2 yosys-1b7ed719a56896a582df5e6c2f904049cdcadc1f.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 acb854a4d..05c4ec344 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 < 20200801 +#if SYMBIOTIC_VERIFIC_API_VERSION < 20200901 # error "Please update your version of Symbiotic EDA flavored Verific." #endif |