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 /src/theory/arith/nonlinear_extension.cpp | |
| parent | e8c8f864bdde2fbfc6ec7ec63928683cbd57ac0c (diff) | |
Fix uninitialized value
Diffstat (limited to 'src/theory/arith/nonlinear_extension.cpp')
| -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 ); |