From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Fri, 4 Sep 2020 19:13:01 +0000 (-0300)
Subject: Fix non-lib-poly-build issues  (#5028)
X-Git-Tag: cvc5-1.0.0~2893
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9b61eff37935cd0fa29b4c8c59a9648e7621f753;p=cvc5.git

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 416de1c5a..657e0db99 100644
--- 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
 }