diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-06-21 15:50:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-21 15:50:04 -0500 |
| commit | 10c46be39e6da2cb0faecdb2bcb1b35d143f5b39 (patch) | |
| tree | 7c339385a329808cdfb13456e79434ddcd520b60 | |
| parent | f997af30b7d5dd30e01a72b00ddf3859c0049fdc (diff) | |
| parent | 2d3a686fd3984b2627c338dcd22ad4ef1095d44f (diff) | |
Merge pull request #175 from CVC4/fix_uninit
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 ); |