From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 2 Dec 2020 14:18:04 +0000 (+0100)
Subject: Bump required Verific version
X-Git-Tag: working-ls180~182
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1c4a18f66fb0d589e1798090a7b584ab1988407a;p=yosys.git

Bump required Verific version
---

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