Fix uninitialized value

diff --git a/src/theory/arith/nonlinear_extension.cpp b/src/theory/arith/nonlinear_extension.cpp
index 5ff70e09f0d6ffc9ffd3330a049b9c2ccbf39ab2..26f232142ee9a28dcab374ea4e76492221efe0f6 100644 (file)
--- a/src/theory/arith/nonlinear_extension.cpp
+++ b/src/theory/arith/nonlinear_extension.cpp
@@ -381,7 +381,7 @@ bool NonLinearExtentionSubstitutionSolver::solve(
               }
             }
             if( evaluatable ){
-              bool success;
+              bool success = true;
               if( !vars_rm.empty() ){
                 Node ns = n.substitute( vars_rm.begin(), vars_rm.end(), subs_rm.begin(), subs_rm.end() );
                 ns = Rewriter::rewrite( ns );