diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-21 08:12:11 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-21 13:12:11 +0000 |
| commit | 09097cd3b9cd3233b938ace34f3513a16ac17f80 (patch) | |
| tree | b889e15b487582e810db61b64dade7e6a14d225b /src/theory/uf/theory_uf.cpp | |
| parent | 02dd48563db0c5effd608eda70d4c262309322a6 (diff) | |
Clean up remaining raw uses of output channel (#6161)
After this PR, with only a few exceptions, all calls to output channel for lemmas, conflicts are made through inference manager.
This is work towards standardizing the statistics for theories.
Diffstat (limited to 'src/theory/uf/theory_uf.cpp')
| -rw-r--r-- | src/theory/uf/theory_uf.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp index 32524b562..ac25ede14 100644 --- a/src/theory/uf/theory_uf.cpp +++ b/src/theory/uf/theory_uf.cpp @@ -181,7 +181,7 @@ bool TheoryUF::preNotifyFact( else { // support for cardinality constraints is not enabled, set incomplete - d_out->setIncomplete(); + d_im.setIncomplete(); } } // don't need to assert cardinality constraints if not producing models |