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/context | |
| 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/context')
| -rw-r--r-- | src/context/cdlist.h | 1 | ||||
| -rw-r--r-- | src/context/context.cpp | 1 | ||||
| -rw-r--r-- | src/context/context.h | 2 |
3 files changed, 2 insertions, 2 deletions
diff --git a/src/context/cdlist.h b/src/context/cdlist.h index cb5e552ac..0515d7126 100644 --- a/src/context/cdlist.h +++ b/src/context/cdlist.h @@ -20,6 +20,7 @@ #ifndef CVC4__CONTEXT__CDLIST_H #define CVC4__CONTEXT__CDLIST_H +#include <cstring> #include <iterator> #include <memory> #include <string> diff --git a/src/context/context.cpp b/src/context/context.cpp index 19be126f8..1313daa9a 100644 --- a/src/context/context.cpp +++ b/src/context/context.cpp @@ -16,6 +16,7 @@ #include <iostream> +#include <string> #include <vector> #include "base/check.h" diff --git a/src/context/context.h b/src/context/context.h index 15b4307b9..afec59747 100644 --- a/src/context/context.h +++ b/src/context/context.h @@ -20,10 +20,8 @@ #define CVC4__CONTEXT__CONTEXT_H #include <cstdlib> -#include <cstring> #include <iostream> #include <memory> -#include <new> #include <typeinfo> #include <vector> |