Update required Verific version

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index acb854a4d19a5b9a7ded73bf00dd85a96512e77c..05c4ec344e54a831652eb049475656b3283d62fb 100644 (file)
--- 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 < 20200801
+#if SYMBIOTIC_VERIFIC_API_VERSION < 20200901
 #  error "Please update your version of Symbiotic EDA flavored Verific."
 #endif