diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-10-11 16:21:32 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-11 23:21:32 +0000 |
commit | 18e52361a8109c62de3636b3a261b25e3991734b (patch) | |
tree | 301f45c8e0f91969b1791077822cb4a9e164f35b /src/smt/solver_engine.h | |
parent | 9f3ae2b5203bcc9a927d63fb3844418ada4b6a72 (diff) |
Rename SmtEngineStatistics to SolverEngineStatistics. (#7339)
Diffstat (limited to 'src/smt/solver_engine.h')
-rw-r--r-- | src/smt/solver_engine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/solver_engine.h b/src/smt/solver_engine.h index 8ec0b15f3..c627a63d6 100644 --- a/src/smt/solver_engine.h +++ b/src/smt/solver_engine.h @@ -93,7 +93,7 @@ class AbductionSolver; class InterpolationSolver; class QuantElimSolver; -struct SmtEngineStatistics; +struct SolverEngineStatistics; class SolverEngineScope; class PfManager; class UnsatCoreManager; @@ -1102,7 +1102,7 @@ class CVC5_EXPORT SolverEngine std::map<std::string, int> d_commandVerbosity; /** The statistics class */ - std::unique_ptr<smt::SmtEngineStatistics> d_stats; + std::unique_ptr<smt::SolverEngineStatistics> d_stats; /** the output manager for commands */ mutable OutputManager d_outMgr; |