Fix

ajreynol · Feb 24, 2025 · 6a93946 · 6a93946
1 parent aaba45b
commit 6a93946
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/theory/bv/theory_bv_rewrite_rules_core.h b/src/theory/bv/theory_bv_rewrite_rules_core.h
@@ -20,6 +20,7 @@
 
 #include "theory/bv/theory_bv_rewrite_rules.h"
 #include "theory/bv/theory_bv_utils.h"
+#include "util/bitvector.h"
 
 namespace cvc5::internal {
 namespace theory {