From 0e8a4adb59f34e70acbe1cb1b8af5b015f4eb2b3 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Tue, 5 Sep 2023 11:52:21 +0200 Subject: [PATCH] verific: Update YOSYSHQ_VERIFIC_API_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 d30b46082..a67244d7a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -74,7 +74,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 < 20210801 +#if YOSYSHQ_VERIFIC_API_VERSION < 20230901 # error "Please update your version of YosysHQ flavored Verific." #endif