diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-14 17:16:26 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-14 17:16:26 +0000 |
| commit | d9caa38b8c2b24611de7ed9a3725bd74d2653ccc (patch) | |
| tree | fc8e82a4773f82f6b74a2d15ec01a2f5e5fa2b65 /src/util | |
| parent | 080fc73c61ca11a539fd5239146a828e86b9e29a (diff) | |
Fix a soundness bug reported by Matthias Weiler (had to do with expired TNodes).
Also fix an issue where --check-model didn't take user define-funs into account.
Also make preprocessing a bit more chatty (with -v -v).
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions