diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-09-02 10:22:25 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-09-02 10:22:25 +0200 |
| commit | 3f27a4ea68a2f15e5f034af8de6c01ae1a2781d1 (patch) | |
| tree | 2febda581ba9e2dd1d307d53e980001290be5be8 /frontends/verific/verific.cc | |
| parent | 463869bf4fb113082c8caec67b0c9bfd0094a66b (diff) | |
| download | yosys-3f27a4ea68a2f15e5f034af8de6c01ae1a2781d1.tar.gz yosys-3f27a4ea68a2f15e5f034af8de6c01ae1a2781d1.tar.bz2 yosys-3f27a4ea68a2f15e5f034af8de6c01ae1a2781d1.zip | |
Use latest verific
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 40dca20ba..7bbda9d49 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -54,7 +54,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 < 20200702 +#if SYMBIOTIC_VERIFIC_API_VERSION < 20200801 # error "Please update your version of Symbiotic EDA flavored Verific." #endif |