diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2020-12-02 15:18:04 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-12-02 15:18:04 +0100 |
commit | 1c4a18f66fb0d589e1798090a7b584ab1988407a (patch) | |
tree | 1b816e9b3f7ca564740474f4ed89439056e7a6c6 | |
parent | d021f4b4003bb7a374038134c65edd3f67473a92 (diff) | |
download | yosys-1c4a18f66fb0d589e1798090a7b584ab1988407a.tar.gz yosys-1c4a18f66fb0d589e1798090a7b584ab1988407a.tar.bz2 yosys-1c4a18f66fb0d589e1798090a7b584ab1988407a.zip |
Bump required Verific version
-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 31c77d39c..cf3bf1070 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 < 20201001 +#if SYMBIOTIC_VERIFIC_API_VERSION < 20201101 # error "Please update your version of Symbiotic EDA flavored Verific." #endif |