diff options
Diffstat (limited to 'src/theory/bv/abstraction.h')
-rw-r--r-- | src/theory/bv/abstraction.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/bv/abstraction.h b/src/theory/bv/abstraction.h index 2e86c834d..6b4d5a7dc 100644 --- a/src/theory/bv/abstraction.h +++ b/src/theory/bv/abstraction.h @@ -14,22 +14,22 @@ ** Bitvector theory. **/ +#include "cvc4_private.h" #ifndef __CVC4__THEORY__BV__ABSTRACTION_H #define __CVC4__THEORY__BV__ABSTRACTION_H -#include "cvc4_private.h" #include <ext/hash_map> #include <ext/hash_set> + #include "expr/node.h" +#include "expr/statistics_registry.h" #include "theory/substitutions.h" -#include "util/statistics_registry.h" namespace CVC4 { namespace theory { namespace bv { - typedef std::vector<TNode> ArgsVec; class AbstractionModule { |