diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-21 15:29:15 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-24 16:17:57 -0700 |
| commit | ef629735476e95d64e35bf029d004e89aa1ab4ed (patch) | |
| tree | 458da98a641be8efbd0bb1aad5581c99793d4032 /src/preprocessing/passes/bv_to_int.h | |
| parent | caf47102f2b666aff7c89387067e7531412fd61d (diff) | |
More precise includes of `Node` constant classes
Diffstat (limited to 'src/preprocessing/passes/bv_to_int.h')
| -rw-r--r-- | src/preprocessing/passes/bv_to_int.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/preprocessing/passes/bv_to_int.h b/src/preprocessing/passes/bv_to_int.h index d09f9e738..c04175f3a 100644 --- a/src/preprocessing/passes/bv_to_int.h +++ b/src/preprocessing/passes/bv_to_int.h @@ -73,6 +73,7 @@ #include "context/cdhashset.h" #include "preprocessing/preprocessing_pass.h" #include "theory/arith/nl/iand_utils.h" +#include "util/rational.h" namespace cvc5 { namespace preprocessing { |