summaryrefslogtreecommitdiff
path: root/src/theory/combination_engine.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/theory/combination_engine.h')
-rw-r--r--src/theory/combination_engine.h6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/combination_engine.h b/src/theory/combination_engine.h
index 3fd74f630..8ac90bfba 100644
--- a/src/theory/combination_engine.h
+++ b/src/theory/combination_engine.h
@@ -14,8 +14,8 @@
#include "cvc4_private.h"
-#ifndef CVC4__THEORY__COMBINATION_ENGINE__H
-#define CVC4__THEORY__COMBINATION_ENGINE__H
+#ifndef CVC5__THEORY__COMBINATION_ENGINE__H
+#define CVC5__THEORY__COMBINATION_ENGINE__H
#include <vector>
#include <memory>
@@ -139,4 +139,4 @@ class CombinationEngine
} // namespace theory
} // namespace cvc5
-#endif /* CVC4__THEORY__COMBINATION_DISTRIBUTED__H */
+#endif /* CVC5__THEORY__COMBINATION_DISTRIBUTED__H */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback