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;