diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-08-16 09:11:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-16 16:11:18 +0000 |
| commit | 11b6d67d32160681d4495fd92930ffb6ddb79abe (patch) | |
| tree | e03474a3be09a3be7d041e315767854ee331f415 /src/theory/fp | |
| parent | 5e31ee3a34388d6d44129e898897bdb1297009de (diff) | |
Use InferenceManager in ExtTheory (#7006)
This PR refactors the ExtTheory class to use a given inference manager instead of a given output channel.
Diffstat (limited to 'src/theory/fp')
0 files changed, 0 insertions, 0 deletions