diff options
Diffstat (limited to 'src/theory/arith/nl/cad/lazard_evaluation.cpp')
-rw-r--r-- | src/theory/arith/nl/cad/lazard_evaluation.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/theory/arith/nl/cad/lazard_evaluation.cpp b/src/theory/arith/nl/cad/lazard_evaluation.cpp index 82b127ed0..2fee21cbf 100644 --- a/src/theory/arith/nl/cad/lazard_evaluation.cpp +++ b/src/theory/arith/nl/cad/lazard_evaluation.cpp @@ -1,5 +1,7 @@ #include "theory/arith/nl/cad/lazard_evaluation.h" +#ifdef CVC5_POLY_IMP + #include "base/check.h" #include "base/output.h" @@ -44,3 +46,5 @@ std::vector<poly::Interval> LazardEvaluation::infeasibleRegions( } } // namespace cvc5::theory::arith::nl::cad + +#endif |