14 files changed, 14 insertions, 14 deletions
diff --git a/src/theory/bags/bag_solver.h b/src/theory/bags/bag_solver.h
index 4c15b0243..5fb49fab7 100644
--- a/src/theory/bags/bag_solver.h
+++ b/src/theory/bags/bag_solver.h
@@ -13,7 +13,7 @@
  * Solver for the theory of bags.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAG__SOLVER_H
 #define CVC5__THEORY__BAG__SOLVER_H
diff --git a/src/theory/bags/bags_rewriter.h b/src/theory/bags/bags_rewriter.h
index 2cdcffec1..10fa65aa5 100644
--- a/src/theory/bags/bags_rewriter.h
+++ b/src/theory/bags/bags_rewriter.h
@@ -13,7 +13,7 @@
  * Bags theory rewriter.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__THEORY_BAGS_REWRITER_H
 #define CVC5__THEORY__BAGS__THEORY_BAGS_REWRITER_H
diff --git a/src/theory/bags/bags_statistics.h b/src/theory/bags/bags_statistics.h
index be95cf7ca..c0bca3444 100644
--- a/src/theory/bags/bags_statistics.h
+++ b/src/theory/bags/bags_statistics.h
@@ -13,7 +13,7 @@
  * Statistics for the theory of bags.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS_STATISTICS_H
 #define CVC5__THEORY__BAGS_STATISTICS_H
diff --git a/src/theory/bags/infer_info.h b/src/theory/bags/infer_info.h
index a55755e68..b0519993b 100644
--- a/src/theory/bags/infer_info.h
+++ b/src/theory/bags/infer_info.h
@@ -13,7 +13,7 @@
  * Inference information utility.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__INFER_INFO_H
 #define CVC5__THEORY__BAGS__INFER_INFO_H
diff --git a/src/theory/bags/inference_generator.h b/src/theory/bags/inference_generator.h
index 32a49e611..252b9641e 100644
--- a/src/theory/bags/inference_generator.h
+++ b/src/theory/bags/inference_generator.h
@@ -13,7 +13,7 @@
  * Inference generator utility.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__INFERENCE_GENERATOR_H
 #define CVC5__THEORY__BAGS__INFERENCE_GENERATOR_H
diff --git a/src/theory/bags/inference_manager.h b/src/theory/bags/inference_manager.h
index fff6c7690..a74515d37 100644
--- a/src/theory/bags/inference_manager.h
+++ b/src/theory/bags/inference_manager.h
@@ -13,7 +13,7 @@
  * The inference manager for the theory of bags.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__INFERENCE_MANAGER_H
 #define CVC5__THEORY__BAGS__INFERENCE_MANAGER_H
diff --git a/src/theory/bags/make_bag_op.h b/src/theory/bags/make_bag_op.h
index aa602d364..4756009ae 100644
--- a/src/theory/bags/make_bag_op.h
+++ b/src/theory/bags/make_bag_op.h
@@ -13,7 +13,7 @@
  * A class for MK_BAG operator.
  */
 
-#include "cvc4_public.h"
+#include "cvc5_public.h"
 
 #ifndef CVC5__MAKE_BAG_OP_H
 #define CVC5__MAKE_BAG_OP_H
diff --git a/src/theory/bags/normal_form.h b/src/theory/bags/normal_form.h
index 362dedb34..124ecdf5f 100644
--- a/src/theory/bags/normal_form.h
+++ b/src/theory/bags/normal_form.h
@@ -15,7 +15,7 @@
 
 #include <expr/node.h>
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__NORMAL_FORM_H
 #define CVC5__THEORY__BAGS__NORMAL_FORM_H
diff --git a/src/theory/bags/rewrites.h b/src/theory/bags/rewrites.h
index cde671f1c..f5977332a 100644
--- a/src/theory/bags/rewrites.h
+++ b/src/theory/bags/rewrites.h
@@ -13,7 +13,7 @@
  * Type for rewrites for bags.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__REWRITES_H
 #define CVC5__THEORY__BAGS__REWRITES_H
diff --git a/src/theory/bags/solver_state.h b/src/theory/bags/solver_state.h
index 8560388d0..9c2222e95 100644
--- a/src/theory/bags/solver_state.h
+++ b/src/theory/bags/solver_state.h
@@ -13,7 +13,7 @@
  * Bags state object.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__THEORY_SOLVER_STATE_H
 #define CVC5__THEORY__BAGS__THEORY_SOLVER_STATE_H
diff --git a/src/theory/bags/term_registry.h b/src/theory/bags/term_registry.h
index 6e3a5fadb..6255f3b00 100644
--- a/src/theory/bags/term_registry.h
+++ b/src/theory/bags/term_registry.h
@@ -13,7 +13,7 @@
  * Bags state object.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__TERM_REGISTRY_H
 #define CVC5__THEORY__BAGS__TERM_REGISTRY_H
diff --git a/src/theory/bags/theory_bags.h b/src/theory/bags/theory_bags.h
index 482181ad2..7b9299f54 100644
--- a/src/theory/bags/theory_bags.h
+++ b/src/theory/bags/theory_bags.h
@@ -13,7 +13,7 @@
  * Bags theory.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__THEORY_BAGS_H
 #define CVC5__THEORY__BAGS__THEORY_BAGS_H
diff --git a/src/theory/bags/theory_bags_type_enumerator.h b/src/theory/bags/theory_bags_type_enumerator.h
index f4efb7ce2..4a5fdde74 100644
--- a/src/theory/bags/theory_bags_type_enumerator.h
+++ b/src/theory/bags/theory_bags_type_enumerator.h
@@ -13,7 +13,7 @@
  * Type enumerator for bags
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__TYPE_ENUMERATOR_H
 #define CVC5__THEORY__BAGS__TYPE_ENUMERATOR_H
diff --git a/src/theory/bags/theory_bags_type_rules.h b/src/theory/bags/theory_bags_type_rules.h
index 4e4fe0716..a633d604f 100644
--- a/src/theory/bags/theory_bags_type_rules.h
+++ b/src/theory/bags/theory_bags_type_rules.h
@@ -13,7 +13,7 @@
  * Bags theory type rules.
  */
 
-#include "cvc4_private.h"
+#include "cvc5_private.h"
 
 #ifndef CVC5__THEORY__BAGS__THEORY_BAGS_TYPE_RULES_H
 #define CVC5__THEORY__BAGS__THEORY_BAGS_TYPE_RULES_H