From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 2 Sep 2021 12:59:16 +0000 (+0200)
Subject: update required verific version
X-Git-Tag: yosys-0.10~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c3d4bb4cc95c417225fec8b16147dec3453ab94d;p=yosys.git

update required verific version
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 1b8bc1b51..99094f099 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -58,7 +58,7 @@ USING_YOSYS_NAMESPACE
 #  error "Only YosysHQ flavored Verific is supported. Please contact office@yosyshq.com for commercial support for Yosys+Verific."
 #endif
 
-#if YOSYSHQ_VERIFIC_API_VERSION < 20210701
+#if YOSYSHQ_VERIFIC_API_VERSION < 20210801
 #  error "Please update your version of YosysHQ flavored Verific."
 #endif