diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-10 13:01:02 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-10 13:02:46 -0400 |
| commit | 7f13c0713accdefa46ce2a43dbeae8c46255bea1 (patch) | |
| tree | 13110353d5a45c0970e1fc4928f863e45c732e50 /src/proof | |
| parent | 315eb7e44cada64fd9b8a2b4ab9b9cac66758769 (diff) | |
Fix erroneous results when the logic was incorrectly specified (by throwing LogicException). Also correct a case where sharing was doing some work during pure theory solving.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions