diff options
Diffstat (limited to 'src/bitfield.ml')
| -rw-r--r-- | src/bitfield.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bitfield.ml b/src/bitfield.ml index 5b0a73b0..e4813e44 100644 --- a/src/bitfield.ml +++ b/src/bitfield.ml @@ -52,6 +52,7 @@ module Big_int = Nat_big_num open Initial_check open Ast +open Ast_defs open Ast_util let bitvec size order = |