diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-05-17 20:45:32 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-05-17 20:45:32 +0000 |
| commit | f49378f9acb65b78ab29d89d37c644d0b203ebae (patch) | |
| tree | f4a1a8a3c4cc2212ffba3c2e83c22367f77ef4d9 /src/theory/arith | |
| parent | 1703b160511396cd23be5203d9af86641b45766e (diff) | |
Fixing an issue with LogicInfo::isPure() that turned off simplification in QF_UF and maybe others
Diffstat (limited to 'src/theory/arith')
0 files changed, 0 insertions, 0 deletions