diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-02 01:58:20 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 00:58:20 +0000 |
commit | b5073e16ea49ce9214fcc5318ce080724719c809 (patch) | |
tree | 1073858c57a3590b67ae7fd8e6fa2d46872f9114 /src/printer | |
parent | 822ae21e0b26e9a98b3a5585dbcd2694bbbce685 (diff) |
Clean up includes to reduce compile times (#6031)
This PR cleans up a ton of includes, based on the suggestions of iwyu.
Mostly, it removes includes from header files in favor of forward declarations and adds includes to source files.
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 2 | ||||
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index 173e67fd9..82798d074 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -25,6 +25,8 @@ #include <vector> #include "expr/dtype.h" +#include "expr/dtype_cons.h" +#include "expr/dtype_selector.h" #include "expr/node_manager_attributes.h" // for VarNameAttr #include "expr/node_visitor.h" #include "expr/sequence.h" diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index c7962417a..fd9d20e4b 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -17,12 +17,14 @@ #include "printer/smt2/smt2_printer.h" #include <iostream> +#include <list> #include <string> #include <typeinfo> #include <vector> #include "api/cvc4cpp.h" #include "expr/dtype.h" +#include "expr/dtype_cons.h" #include "expr/node_manager_attributes.h" #include "expr/node_visitor.h" #include "expr/sequence.h" |