From 540ef6910a2b7ffeb67bac18dfc489fb4a6115d6 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 9 Mar 2021 13:48:43 +0100 Subject: Some more cleanup of includes (#6083) This PR does some more cleanup of the includes. --- src/smt/preprocessor.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/smt/preprocessor.cpp') diff --git a/src/smt/preprocessor.cpp b/src/smt/preprocessor.cpp index a3c3a5ae2..e5dd7869c 100644 --- a/src/smt/preprocessor.cpp +++ b/src/smt/preprocessor.cpp @@ -15,6 +15,7 @@ #include "smt/preprocessor.h" #include "options/smt_options.h" +#include "preprocessing/preprocessing_pass_context.h" #include "printer/printer.h" #include "smt/abstract_values.h" #include "smt/assertions.h" -- cgit v1.2.3