diff options
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 6ac29123..5d740277 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -51,6 +51,7 @@ (** Utilities and helper functions for operating on Sail ASTs *) open Ast +open Ast_defs module Big_int = Nat_big_num type mut = Immutable | Mutable |