diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-06 02:38:39 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-06 02:38:39 +0000 |
| commit | 84a3411720a59410c7dff7bc8ec9210638b7665b (patch) | |
| tree | 96027609ae62ff12a37aee15762e2ea245a07216 /src/expr/node.h | |
| parent | bf0912f64da23092716fa187df607e50eba92984 (diff) | |
Remove SmtEngine::getStackLevel(), which exposed implementation details and was only used by the compatibility layer.
Make SmtEngine::internalPop() delay popping. This fixes a bug in model generation.
Diffstat (limited to 'src/expr/node.h')
0 files changed, 0 insertions, 0 deletions