diff options
Diffstat (limited to 'src/preprocessing/preprocessing_pass.h')
-rw-r--r-- | src/preprocessing/preprocessing_pass.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/preprocessing/preprocessing_pass.h b/src/preprocessing/preprocessing_pass.h index b8ddb9846..3970ee8d3 100644 --- a/src/preprocessing/preprocessing_pass.h +++ b/src/preprocessing/preprocessing_pass.h @@ -33,14 +33,14 @@ #include <string> -#include "preprocessing/assertion_pipeline.h" -#include "preprocessing/preprocessing_pass_context.h" -#include "smt/smt_engine_scope.h" -#include "theory/logic_info.h" +#include "util/statistics_registry.h" namespace CVC4 { namespace preprocessing { +class AssertionPipeline; +class PreprocessingPassContext; + /** * Preprocessing passes return a result which indicates whether a conflict has * been detected during preprocessing. |