From: Andres Noetzli <noetzli@stanford.edu>
Date: Wed, 14 Jun 2017 09:40:17 +0000 (-0700)
Subject: Fix uninitialized value
X-Git-Tag: cvc5-1.0.0~5757^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2d3a686fd3984b2627c338dcd22ad4ef1095d44f;p=cvc5.git

Fix uninitialized value
---

diff --git a/src/theory/arith/nonlinear_extension.cpp b/src/theory/arith/nonlinear_extension.cpp
index 5ff70e09f..26f232142 100644
--- 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 );