diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4a12cadb1..b49c61f81 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -16,7 +16,6 @@
  *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *
  */
-#define YOSYS_ENABLE_VERIFIC
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"