diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-11 22:54:50 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-11 22:54:50 -0600 |
| commit | a49efc8c32020b7c2285fa744ae61a576801c51d (patch) | |
| tree | e261da599172d1bc767da066e25e15b9cf4eaec5 /src/main/main.cpp | |
| parent | 107b1422f9549eb2128729c3fd173441029ba443 (diff) | |
Flush statistics through NodeManager in SmtEngine (#5652)
This removes the dependency on the Expr layer from src/main.
This requires moving the flushing of NodeManager statistics within SmtEngine.
This is a temporary solution until we have a permanent solution for statistics.
Diffstat (limited to 'src/main/main.cpp')
| -rw-r--r-- | src/main/main.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index e08898905..a2f119414 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -24,7 +24,6 @@ #include "base/configuration.h" #include "base/output.h" -#include "expr/expr_manager.h" #include "main/command_executor.h" #include "main/interactive_shell.h" #include "options/language.h" @@ -32,7 +31,6 @@ #include "parser/parser.h" #include "parser/parser_builder.h" #include "parser/parser_exception.h" -#include "smt/smt_engine.h" #include "util/result.h" #include "util/statistics.h" |