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/arith/arith_rewriter.h | |
| 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/arith/arith_rewriter.h')
| -rw-r--r-- | src/theory/arith/arith_rewriter.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/arith/arith_rewriter.h b/src/theory/arith/arith_rewriter.h index 6c858d1eb..396395e1f 100644 --- a/src/theory/arith/arith_rewriter.h +++ b/src/theory/arith/arith_rewriter.h @@ -21,7 +21,6 @@ #define CVC4__THEORY__ARITH__ARITH_REWRITER_H #include "theory/arith/rewrites.h" -#include "theory/theory.h" #include "theory/theory_rewriter.h" namespace CVC4 { |