Add dummy returns if libpoly is unavailable. (#4845)

This PR adds dummy return statements do CadSolver in case libpoly is not available.

diff --git a/src/theory/arith/nl/cad_solver.cpp b/src/theory/arith/nl/cad_solver.cpp
index 783fb018734e76b5a8186bd267e1c105ed55e9dc..a2fc1e1f1721c55d5c97197c4cf29736d6c74605 100644 (file)
--- a/src/theory/arith/nl/cad_solver.cpp
+++ b/src/theory/arith/nl/cad_solver.cpp
@@ -102,6 +102,7 @@ std::vector<NlLemma> CadSolver::checkFull()
   Warning() << "Tried to use CadSolver but libpoly is not available. Compile "
                "with --poly."
             << std::endl;
+  return {};
 #endif
 }
 
@@ -132,6 +133,7 @@ bool CadSolver::constructModelIfAvailable(std::vector<Node>& assertions)
   Warning() << "Tried to use CadSolver but libpoly is not available. Compile "
                "with --poly."
             << std::endl;
+  return false;
 #endif
 }