verific: no help() when no YOSYS_ENABLE_VERIFIC

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 79730c98a6794841b399751f5b3b6557898347e3..05c6157681f9a81c6e9a6822013df0796eb57fab 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2073,10 +2073,8 @@ struct VerificPass : public Pass {
        {
                static bool set_verific_global_flags = true;
 
-               if (check_noverific_env()) {
-                       help();
+               if (check_noverific_env())
                        log_cmd_error("This version of Yosys is built without Verific support.\n");
-                }
 
                log_header(design, "Executing VERIFIC (loading SystemVerilog and VHDL designs using Verific).\n");
 
@@ -2492,7 +2490,6 @@ struct VerificPass : public Pass {
        }
 #else /* YOSYS_ENABLE_VERIFIC */
        void execute(std::vector<std::string>, RTLIL::Design *) YS_OVERRIDE {
-               help();
                log_cmd_error("This version of Yosys is built without Verific support.\n");
        }
 #endif