From ead4b34c3cdc26ce75b38b501624dfe883548b97 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 1 Dec 2024 16:50:51 -0500 Subject: [PATCH] Add stack include to decorate_loops.h --- frontends/verific/decorate_loops.h | 1 + 1 file changed, 1 insertion(+) diff --git a/frontends/verific/decorate_loops.h b/frontends/verific/decorate_loops.h index 204cbcd18..644578fdb 100644 --- a/frontends/verific/decorate_loops.h +++ b/frontends/verific/decorate_loops.h @@ -17,6 +17,7 @@ * */ #ifdef VERIFIC_LINEFILE_INCLUDES_LOOPS +#include /* 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