diff options
Diffstat (limited to 'src/theory/bv/bv_inequality_graph.h')
-rw-r--r-- | src/theory/bv/bv_inequality_graph.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/bv/bv_inequality_graph.h b/src/theory/bv/bv_inequality_graph.h index 38e4b3aa6..d9adf06fb 100644 --- a/src/theory/bv/bv_inequality_graph.h +++ b/src/theory/bv/bv_inequality_graph.h @@ -24,6 +24,7 @@ #include <unordered_map> #include <unordered_set> +#include "context/cdhashset.h" #include "context/cdqueue.h" #include "context/context.h" #include "theory/theory.h" |