projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e2a39bb)
Update verific version
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 30 Oct 2020 07:32:59 +0000 (08:32 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 30 Oct 2020 07:32:59 +0000 (08:32 +0100)
frontends/verific/verific.cc patch | blob | history

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index e236aaaf2f34faba3f21e3c3160b55571f69d9f5..31c77d39c4ddb2ba9cc764bf70012a6f2285ff30 100644 (file)
--- 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