diff options
Diffstat (limited to 'src/smt/process_assertions.h')
-rw-r--r-- | src/smt/process_assertions.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/smt/process_assertions.h b/src/smt/process_assertions.h index b05779780..f1c0aed3b 100644 --- a/src/smt/process_assertions.h +++ b/src/smt/process_assertions.h @@ -21,18 +21,21 @@ #include "context/cdlist.h" #include "expr/node.h" -#include "expr/type_node.h" -#include "preprocessing/preprocessing_pass.h" -#include "preprocessing/preprocessing_pass_context.h" -#include "smt/assertions.h" #include "util/resource_manager.h" namespace CVC4 { class SmtEngine; +namespace preprocessing { +class AssertionPipeline; +class PreprocessingPass; +class PreprocessingPassContext; +} + namespace smt { +class Assertions; class ExpandDefs; struct SmtEngineStatistics; |