diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-27 19:06:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-27 19:06:58 -0800 |
| commit | db3d2f7ae12e107f771c5683636febe3e27e8716 (patch) | |
| tree | d21f39ec8e38776c16439859213f9dd74cca2a24 /src/theory/quantifiers | |
| parent | 7f33294261869ab8f0caa8660222576a4ff7bcdc (diff) | |
Remove unused code in pushDefineFunRecScop in smt2.cpp. (#1627)
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions