Fix bags headers (#5165)

Fix bags headers

diff --git a/src/theory/bags/bags_rewriter.cpp b/src/theory/bags/bags_rewriter.cpp
index a6506f18e701f85c9139be1e0df81115b23b5eaa..dd6565a5b66088cea1fbc4a5dc8f89a1cf99e4d1 100644 (file)
--- 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 f0998a2056640c3082c559a8c34d3eee6b2bd036..d165be9107ac8f4d26522140af7c35ce93809da6 100644 (file)
--- 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 {