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/omt/bitvector_optimizer.cpp | |
| parent | caf47102f2b666aff7c89387067e7531412fd61d (diff) | |
More precise includes of `Node` constant classes
Diffstat (limited to 'src/omt/bitvector_optimizer.cpp')
| -rw-r--r-- | src/omt/bitvector_optimizer.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/omt/bitvector_optimizer.cpp b/src/omt/bitvector_optimizer.cpp index 1c3faddff..cd233295e 100644 --- a/src/omt/bitvector_optimizer.cpp +++ b/src/omt/bitvector_optimizer.cpp @@ -17,6 +17,7 @@ #include "options/smt_options.h" #include "smt/smt_engine.h" +#include "util/bitvector.h" using namespace cvc5::smt; namespace cvc5::omt { |