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/command_executor.h | |
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/command_executor.h')
-rw-r--r-- | src/main/command_executor.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/command_executor.h b/src/main/command_executor.h index db2248454..433cebf33 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -19,7 +19,6 @@ #include <string> #include "api/cvc4cpp.h" -#include "expr/expr_manager.h" #include "expr/symbol_manager.h" #include "options/options.h" #include "smt/smt_engine.h" |