diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-08-28 02:38:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-27 17:38:36 -0700 |
| commit | 3e057f9d0454738429ade62dbad8f5ac0b3274db (patch) | |
| tree | f028abd6c8775a15dfadbadbc52be0d144daf1ca /src/theory/theory_inference_manager.h | |
| parent | 4adff162770a841d136ec44146928c2296eaf1b2 (diff) | |
Make iand lemmas use proper Inference types. (#4956)
For some reason, the nl subsolver for IAND did not annotate its lemmas with `Inference` types yet. This commit adds appropriate `Inference` values and makes the IAND solver use them.
Diffstat (limited to 'src/theory/theory_inference_manager.h')
0 files changed, 0 insertions, 0 deletions