Fix non-lib-poly-build issues (#5028)

diff --git a/src/theory/arith/nl/cad_solver.cpp b/src/theory/arith/nl/cad_solver.cpp
index 416de1c5ab9b1fbafb889249a0757dab066302aa..657e0db99f517ceb6f7e326e36b7e6f3abb7f5cf 100644 (file)
--- a/src/theory/arith/nl/cad_solver.cpp
+++ b/src/theory/arith/nl/cad_solver.cpp
@@ -89,7 +89,6 @@ void CadSolver::checkFull()
   Warning() << "Tried to use CadSolver but libpoly is not available. Compile "
                "with --poly."
             << std::endl;
-  return {};
 #endif
 }
 
@@ -135,7 +134,6 @@ void CadSolver::checkPartial()
   Warning() << "Tried to use CadSolver but libpoly is not available. Compile "
                "with --poly."
             << std::endl;
-  return {};
 #endif
 }