diff options
Diffstat (limited to 'src/main/command_executor.h')
| -rw-r--r-- | src/main/command_executor.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/main/command_executor.h b/src/main/command_executor.h index 9fe6347be..49d18a153 100644 --- a/src/main/command_executor.h +++ b/src/main/command_executor.h @@ -15,14 +15,14 @@ #ifndef __CVC4__MAIN__COMMAND_EXECUTOR_H #define __CVC4__MAIN__COMMAND_EXECUTOR_H +#include <iostream> +#include <string> + #include "expr/expr_manager.h" -#include "smt/smt_engine.h" -#include "util/statistics_registry.h" +#include "expr/statistics_registry.h" #include "options/options.h" -#include "expr/command.h" - -#include <string> -#include <iostream> +#include "smt/smt_engine.h" +#include "smt_util/command.h" namespace CVC4 { namespace main { |