From a4d15e7e7d03376f51e1e03e9e555fa2ff5b254c Mon Sep 17 00:00:00 2001 From: mudathirmahgoub Date: Tue, 29 Sep 2020 13:48:16 -0500 Subject: [PATCH] Fix bags headers (#5165) Fix bags headers --- src/theory/bags/bags_rewriter.cpp | 2 +- src/theory/bags/bags_rewriter.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/theory/bags/bags_rewriter.cpp b/src/theory/bags/bags_rewriter.cpp index a6506f18e..dd6565a5b 100644 --- a/src/theory/bags/bags_rewriter.cpp +++ b/src/theory/bags/bags_rewriter.cpp @@ -14,7 +14,7 @@ #include "theory/bags/bags_rewriter.h" -#include "normal_form.h" +#include "theory/bags/normal_form.h" using namespace CVC4::kind; diff --git a/src/theory/bags/bags_rewriter.h b/src/theory/bags/bags_rewriter.h index f0998a205..d165be910 100644 --- a/src/theory/bags/bags_rewriter.h +++ b/src/theory/bags/bags_rewriter.h @@ -13,12 +13,12 @@ **/ #include "cvc4_private.h" -#include "theory/bags/rewrites.h" #ifndef CVC4__THEORY__BAGS__THEORY_BAGS_REWRITER_H #define CVC4__THEORY__BAGS__THEORY_BAGS_REWRITER_H #include "theory/rewriter.h" +#include "theory/bags/rewrites.h" namespace CVC4 { namespace theory { -- 2.30.2