projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1057273)
Require latest Verific build
authorMiodrag Milanovic <mmicko@gmail.com>
Sat, 30 Jan 2021 08:23:46 +0000 (09:23 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Sat, 30 Jan 2021 08:23:46 +0000 (09:23 +0100)
frontends/verific/verific.cc patch | blob | history

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 614124a296cd41675c1fb9fd3a38ec75c3ac1edc..81e14ac4145689c56f2eb0cb3fe70106d67a9efc 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -55,7 +55,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 < 20201201
+#if YOSYSHQ_VERIFIC_API_VERSION < 20210101
 #  error "Please update your version of YosysHQ flavored Verific."
 #endif