diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-06 04:05:19 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-06 04:05:19 +0000 |
| commit | 9b871cceb0f9c3372504f9f7b786a7c1dd7cd700 (patch) | |
| tree | da76170cfa5311ce3b72b25e8e8179a4f1aa6f6c /src/util/configuration.h | |
| parent | 04b89b1a5256a8a70df1615c9a7873a2d870fe82 (diff) | |
* Fix some regressions' expected outputs.
* Ensure Rewriter::init() is called before ::rewrite().
The array type enumerator recently gave us an end-run around
::init(). TheoryEngine no longer calls these, they're done
via static initialization.
* Respect scope for declare-sort/declare-fun/define-sort/define-fun... (resolves bug 412).
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/util/configuration.h')
0 files changed, 0 insertions, 0 deletions