diff options
Diffstat (limited to 'src/monomorphise.ml')
| -rw-r--r-- | src/monomorphise.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monomorphise.ml b/src/monomorphise.ml index 9bb47774..318cfa63 100644 --- a/src/monomorphise.ml +++ b/src/monomorphise.ml @@ -56,6 +56,7 @@ open Parse_ast open Ast +open Ast_defs open Ast_util module Big_int = Nat_big_num open Type_check |