From a02a794c383ae2381e1210f53174cefb8d94e615 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 3 Mar 2021 17:50:45 +0100 Subject: More cleanup of includes to reduce compilation times (#6037) Similar to #6031, this PR implements suggestions from iwyu to reduce the number of includes in header files by introducing forward declarations and moving includes to source files. --- src/preprocessing/passes/extended_rewriter_pass.h | 1 - 1 file changed, 1 deletion(-) (limited to 'src/preprocessing/passes/extended_rewriter_pass.h') diff --git a/src/preprocessing/passes/extended_rewriter_pass.h b/src/preprocessing/passes/extended_rewriter_pass.h index f4314a123..22b4d2da6 100644 --- a/src/preprocessing/passes/extended_rewriter_pass.h +++ b/src/preprocessing/passes/extended_rewriter_pass.h @@ -20,7 +20,6 @@ #define CVC4__PREPROCESSING__PASSES__EXTENDED_REWRITER_PASS_H #include "preprocessing/preprocessing_pass.h" -#include "preprocessing/preprocessing_pass_context.h" namespace CVC4 { namespace preprocessing { -- cgit v1.2.3