diff --git a/frontends/verilog/verilog_frontend.h b/frontends/verilog/verilog_frontend.h
index e97cee4fc..eabc0d46b 100644
--- a/frontends/verilog/verilog_frontend.h
+++ b/frontends/verilog/verilog_frontend.h
@@ -32,11 +32,6 @@
 #include "kernel/yosys.h"
 #include "frontends/ast/ast.h"
 
-#if ! defined(yyFlexLexerOnce)
-#define yyFlexLexer frontend_verilog_yyFlexLexer
-#include <FlexLexer.h>
-#endif
-
 #include <stdio.h>
 #include <stdint.h>