diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-05 17:23:41 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-05 17:23:41 +0200 |
| commit | 8b189c3f51d2272ecbda57e367d2bd1af34fb94d (patch) | |
| tree | b78759e65d102a4cd01ab5a9ca6cfc13eb457795 /src/theory/bv | |
| parent | 7adf1f2ba37912da65d86d811dd1fd9d572fc747 (diff) | |
Minor fix : do not drop instantiation patterns when merging quantifiers.
Diffstat (limited to 'src/theory/bv')
0 files changed, 0 insertions, 0 deletions