Update verific API version check

sharmaln · Jun 30, 2020 · 561890c · 561890c
1 parent f7fdd99
commit 561890c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
@@ -53,7 +53,7 @@ USING_YOSYS_NAMESPACE
 #  error "Only Symbiotic EDA flavored Verific is supported. Please contact [email protected] for commercial support for Yosys+Verific."
 #endif
 
-#if SYMBIOTIC_VERIFIC_API_VERSION < 1
+#if SYMBIOTIC_VERIFIC_API_VERSION < 202006
 #  error "Please update your version of Symbiotic EDA flavored Verific."
 #endif