From 2d3a686fd3984b2627c338dcd22ad4ef1095d44f Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 14 Jun 2017 02:40:17 -0700 Subject: [PATCH] Fix uninitialized value --- src/theory/arith/nonlinear_extension.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ); -- 2.30.2