diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-02-05 10:04:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-05 10:04:30 -0600 |
| commit | 3783c06132f60c490fb40fd08ffd068f87729d2b (patch) | |
| tree | 612bceda2064f34c101b8ac136165e457124050f /src/theory/theory_engine.h | |
| parent | 7ee5ed0feaaf524237d5e4632948aaa3f1ec3fb6 (diff) | |
Miscellaneous cleaning in theory engine (#5854)
This statistic is unused, I believe it is leftover from deleted code.
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index d72a999b2..e2e7850b5 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -671,8 +671,6 @@ private: * This function is called from the smt engine's checkModel routine. */ void checkTheoryAssertionsWithModel(bool hardFailure); - private: - IntStat d_arithSubstitutionsAdded; };/* class TheoryEngine */ }/* CVC4 namespace */ |