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/theory/uf | |
| 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/theory/uf')
| -rw-r--r-- | src/theory/uf/eq_proof.cpp | 1 | ||||
| -rw-r--r-- | src/theory/uf/theory_uf.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/uf/eq_proof.cpp b/src/theory/uf/eq_proof.cpp index 7ab43091a..58d5f4924 100644 --- a/src/theory/uf/eq_proof.cpp +++ b/src/theory/uf/eq_proof.cpp @@ -15,6 +15,7 @@ #include "theory/uf/eq_proof.h" +#include "base/configuration.h" #include "expr/proof.h" #include "options/uf_options.h" diff --git a/src/theory/uf/theory_uf.h b/src/theory/uf/theory_uf.h index 497e394c7..49e19c15f 100644 --- a/src/theory/uf/theory_uf.h +++ b/src/theory/uf/theory_uf.h @@ -25,6 +25,7 @@ #include "expr/node_trie.h" #include "theory/theory.h" #include "theory/theory_eq_notify.h" +#include "theory/theory_state.h" #include "theory/uf/equality_engine.h" #include "theory/uf/proof_checker.h" #include "theory/uf/proof_equality_engine.h" |