From 06ea765b8229ea784fe6f805379c9e508eb9fed6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 13 May 2023 09:46:49 -0700 Subject: [PATCH] fix #6721 Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/elim_bounds.cpp | 1 + src/ast/rewriter/push_app_ite.cpp | 1 + 2 files changed, 2 insertions(+) diff --git a/src/ast/rewriter/elim_bounds.cpp b/src/ast/rewriter/elim_bounds.cpp index de23537ad..27c34463d 100644 --- a/src/ast/rewriter/elim_bounds.cpp +++ b/src/ast/rewriter/elim_bounds.cpp @@ -22,6 +22,7 @@ Revision History: #include "ast/used_vars.h" #include "util/obj_hashtable.h" +#include "ast/rewriter/rewriter_def.h" #include "ast/rewriter/var_subst.h" #include "ast/rewriter/elim_bounds.h" #include "ast/ast_pp.h" diff --git a/src/ast/rewriter/push_app_ite.cpp b/src/ast/rewriter/push_app_ite.cpp index 0282aa602..b993c29a5 100644 --- a/src/ast/rewriter/push_app_ite.cpp +++ b/src/ast/rewriter/push_app_ite.cpp @@ -18,6 +18,7 @@ Revision History: --*/ #include "ast/rewriter/push_app_ite.h" +#include "ast/rewriter/rewriter_def.h" #include "ast/ast_pp.h"