diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-06-14 02:40:17 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-06-14 02:40:17 -0700 |
commit | 2d3a686fd3984b2627c338dcd22ad4ef1095d44f (patch) | |
tree | 532fa066a98156e397b121dd25981ff79c44992b | |
parent | e8c8f864bdde2fbfc6ec7ec63928683cbd57ac0c (diff) |
Fix uninitialized value
-rw-r--r-- | src/theory/arith/nonlinear_extension.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |