diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-25 09:55:16 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-25 09:55:23 +0200 |
| commit | 5494fb086071c6e68cb5125932af0126c5b9d42e (patch) | |
| tree | 37d7babe748aed07720cc8ae9325d3222e8c3381 /src/theory/quantifiers/conjecture_generator.cpp | |
| parent | 86c3ae2e3f03b1c8d70fb38dfff4130d684fb14b (diff) | |
Minor fix for --user-pat=resort
Diffstat (limited to 'src/theory/quantifiers/conjecture_generator.cpp')
0 files changed, 0 insertions, 0 deletions