diff options
Diffstat (limited to 'src/specialize.mli')
| -rw-r--r-- | src/specialize.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/specialize.mli b/src/specialize.mli index ddfb0c67..ae71bfcb 100644 --- a/src/specialize.mli +++ b/src/specialize.mli @@ -51,6 +51,7 @@ (** Rewrites for removing polymorphism from specifications *) open Ast +open Ast_defs open Ast_util open Type_check |