Add stack include to decorate_loops.h

2024-12-01 16:50:51 -05:00 · 2024-12-01 16:50:51 -05:00 · ead4b34c3c
parent 462cbd4195
commit ead4b34c3c
1 changed files with 1 additions and 0 deletions
--- a/frontends/verific/decorate_loops.h
+++ b/frontends/verific/decorate_loops.h
@ -17,6 +17,7 @@
 *
 */
 #ifdef VERIFIC_LINEFILE_INCLUDES_LOOPS
+#include <stack>
 /*
    This Visitor decorates the AST with a loop ID attribute for all outer for loops.
    All AST nodes contained within the subtree of an outer for-loop