diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-16 14:14:12 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-16 14:14:12 -0500 |
| commit | 2a26c175f602effa857fbd16b07cd7ed0f70f01a (patch) | |
| tree | 2aabce72b42bcce4fc4b60c99e7cbced8a76facb /src/theory/quantifiers/term_util.h | |
| parent | 2bf94333ba1f2791b07b9799a87ba0ae987179a1 (diff) | |
Return RecoverableModalException when model is not available. (#3283)
Diffstat (limited to 'src/theory/quantifiers/term_util.h')
0 files changed, 0 insertions, 0 deletions