diff --git a/frontends/verilog/verilog_lexer.l b/frontends/verilog/verilog_lexer.l
index 7b42970c4..893db9aae 100644
--- a/frontends/verilog/verilog_lexer.l
+++ b/frontends/verilog/verilog_lexer.l
@@ -67,7 +67,7 @@ YOSYS_NAMESPACE_BEGIN
 #define YY_DECL parser::symbol_type VerilogLexer::nextToken()
 
 #undef yyterminate
-#define yyterminate() terminate()
+#define yyterminate() return terminate()
 
 YOSYS_NAMESPACE_END