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

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

1 files changed, 2 insertions, 0 deletions

diff --git a/src/theory/arith/nl/cad_solver.cpp b/src/theory/arith/nl/cad_solver.cpp
index 783fb0187..a2fc1e1f1 100644
--- 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
 }