From: mudathirmahgoub Date: Tue, 29 Sep 2020 18:48:16 +0000 (-0500) Subject: Fix bags headers (#5165) X-Git-Tag: cvc5-1.0.0~2786 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a4d15e7e7d03376f51e1e03e9e555fa2ff5b254c;p=cvc5.git Fix bags headers (#5165) Fix bags headers --- 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 {