summaryrefslogtreecommitdiff
path: root/src/theory/arith/nl/cad
diff options
context:
space:
mode:
Diffstat (limited to 'src/theory/arith/nl/cad')
-rw-r--r--src/theory/arith/nl/cad/cdcac.cpp2
-rw-r--r--src/theory/arith/nl/cad/cdcac.h2
-rw-r--r--src/theory/arith/nl/cad/cdcac_utils.cpp2
-rw-r--r--src/theory/arith/nl/cad/cdcac_utils.h2
-rw-r--r--src/theory/arith/nl/cad/constraints.cpp2
-rw-r--r--src/theory/arith/nl/cad/constraints.h2
-rw-r--r--src/theory/arith/nl/cad/projections.cpp2
-rw-r--r--src/theory/arith/nl/cad/projections.h2
-rw-r--r--src/theory/arith/nl/cad/proof_generator.cpp2
-rw-r--r--src/theory/arith/nl/cad/proof_generator.h2
-rw-r--r--src/theory/arith/nl/cad/variable_ordering.cpp2
-rw-r--r--src/theory/arith/nl/cad/variable_ordering.h2
12 files changed, 12 insertions, 12 deletions
diff --git a/src/theory/arith/nl/cad/cdcac.cpp b/src/theory/arith/nl/cad/cdcac.cpp
index c9f3ce3da..4cd9077ca 100644
--- a/src/theory/arith/nl/cad/cdcac.cpp
+++ b/src/theory/arith/nl/cad/cdcac.cpp
@@ -17,7 +17,7 @@
#include "theory/arith/nl/cad/cdcac.h"
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include "options/arith_options.h"
#include "theory/arith/nl/cad/projections.h"
diff --git a/src/theory/arith/nl/cad/cdcac.h b/src/theory/arith/nl/cad/cdcac.h
index 0d5d4ce74..58aa41bd1 100644
--- a/src/theory/arith/nl/cad/cdcac.h
+++ b/src/theory/arith/nl/cad/cdcac.h
@@ -20,7 +20,7 @@
#ifndef CVC5__THEORY__ARITH__NL__CAD__CDCAC_H
#define CVC5__THEORY__ARITH__NL__CAD__CDCAC_H
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include <poly/polyxx.h>
diff --git a/src/theory/arith/nl/cad/cdcac_utils.cpp b/src/theory/arith/nl/cad/cdcac_utils.cpp
index 999e491f6..3ceb36bd3 100644
--- a/src/theory/arith/nl/cad/cdcac_utils.cpp
+++ b/src/theory/arith/nl/cad/cdcac_utils.cpp
@@ -16,7 +16,7 @@
#include "theory/arith/nl/cad/cdcac_utils.h"
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include "theory/arith/nl/cad/projections.h"
diff --git a/src/theory/arith/nl/cad/cdcac_utils.h b/src/theory/arith/nl/cad/cdcac_utils.h
index 3cfbb138c..50f2f8bc9 100644
--- a/src/theory/arith/nl/cad/cdcac_utils.h
+++ b/src/theory/arith/nl/cad/cdcac_utils.h
@@ -19,7 +19,7 @@
#ifndef CVC5__THEORY__ARITH__NL__CAD__CDCAC_UTILS_H
#define CVC5__THEORY__ARITH__NL__CAD__CDCAC_UTILS_H
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include <poly/polyxx.h>
diff --git a/src/theory/arith/nl/cad/constraints.cpp b/src/theory/arith/nl/cad/constraints.cpp
index 75d1cb723..b244bd358 100644
--- a/src/theory/arith/nl/cad/constraints.cpp
+++ b/src/theory/arith/nl/cad/constraints.cpp
@@ -16,7 +16,7 @@
#include "theory/arith/nl/cad/constraints.h"
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include <algorithm>
diff --git a/src/theory/arith/nl/cad/constraints.h b/src/theory/arith/nl/cad/constraints.h
index efc69d468..1ddbfc821 100644
--- a/src/theory/arith/nl/cad/constraints.h
+++ b/src/theory/arith/nl/cad/constraints.h
@@ -19,7 +19,7 @@
#ifndef CVC5__THEORY__ARITH__NL__CAD__CONSTRAINTS_H
#define CVC5__THEORY__ARITH__NL__CAD__CONSTRAINTS_H
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include <poly/polyxx.h>
diff --git a/src/theory/arith/nl/cad/projections.cpp b/src/theory/arith/nl/cad/projections.cpp
index 1bac0c160..8aea538f1 100644
--- a/src/theory/arith/nl/cad/projections.cpp
+++ b/src/theory/arith/nl/cad/projections.cpp
@@ -16,7 +16,7 @@
#include "theory/arith/nl/cad/projections.h"
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include "base/check.h"
diff --git a/src/theory/arith/nl/cad/projections.h b/src/theory/arith/nl/cad/projections.h
index c1ce91303..f3c8aa0f1 100644
--- a/src/theory/arith/nl/cad/projections.h
+++ b/src/theory/arith/nl/cad/projections.h
@@ -19,7 +19,7 @@
#ifndef CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H
#define CVC5__THEORY__ARITH__NL__CAD_PROJECTIONS_H
-#ifdef CVC4_USE_POLY
+#ifdef CVC5_USE_POLY
#include <poly/polyxx.h>
diff --git a/src/theory/arith/nl/cad/proof_generator.cpp b/src/theory/arith/nl/cad/proof_generator.cpp
index 73e19aa28..291447647 100644
--- a/src/theory/arith/nl/cad/proof_generator.cpp
+++ b/src/theory/arith/nl/cad/proof_generator.cpp
@@ -14,7 +14,7 @@
#include "theory/arith/nl/cad/proof_generator.h"
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include "theory/lazy_tree_proof_generator.h"
#include "theory/arith/nl/poly_conversion.h"
diff --git a/src/theory/arith/nl/cad/proof_generator.h b/src/theory/arith/nl/cad/proof_generator.h
index 9365cc337..993524504 100644
--- a/src/theory/arith/nl/cad/proof_generator.h
+++ b/src/theory/arith/nl/cad/proof_generator.h
@@ -17,7 +17,7 @@
#ifndef CVC5__THEORY__ARITH__NL__CAD__PROOF_GENERATOR_H
#define CVC5__THEORY__ARITH__NL__CAD__PROOF_GENERATOR_H
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include <poly/polyxx.h>
diff --git a/src/theory/arith/nl/cad/variable_ordering.cpp b/src/theory/arith/nl/cad/variable_ordering.cpp
index 7ebbc90dd..e7c8b214a 100644
--- a/src/theory/arith/nl/cad/variable_ordering.cpp
+++ b/src/theory/arith/nl/cad/variable_ordering.cpp
@@ -16,7 +16,7 @@
#include "theory/arith/nl/cad/variable_ordering.h"
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include "util/poly_util.h"
diff --git a/src/theory/arith/nl/cad/variable_ordering.h b/src/theory/arith/nl/cad/variable_ordering.h
index b4336d395..fb40a7b7d 100644
--- a/src/theory/arith/nl/cad/variable_ordering.h
+++ b/src/theory/arith/nl/cad/variable_ordering.h
@@ -19,7 +19,7 @@
#ifndef CVC5__THEORY__ARITH__NL__CAD__VARIABLE_ORDERING_H
#define CVC5__THEORY__ARITH__NL__CAD__VARIABLE_ORDERING_H
-#ifdef CVC4_POLY_IMP
+#ifdef CVC5_POLY_IMP
#include <poly/polyxx.h>
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback