Verilog: add missing dependency on verilog_y.tab.h

kroening · kroening · commit e9914417df22 · 2025-01-30T13:56:15.000Z
diff --git a/src/verilog/Makefile b/src/verilog/Makefile
@@ -61,4 +61,4 @@ verilog_preprocessor_lex.yy.cpp: verilog_preprocessor_tokenizer.l
 # extra dependencies
 verilog_y.tab$(OBJEXT): verilog_y.tab.cpp verilog_y.tab.h
 verilog_lex.yy$(OBJEXT): verilog_y.tab.cpp verilog_lex.yy.cpp verilog_y.tab.h
-
+verilog_scope$(OBJEXT): verilog_y.tab.h
