From 1c4a18f66fb0d589e1798090a7b584ab1988407a Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 2 Dec 2020 15:18:04 +0100 Subject: [PATCH] Bump required Verific version --- frontends/verific/verific.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2