diff options
Diffstat (limited to 'contrib/extraction/miniml.mli')
| -rw-r--r-- | contrib/extraction/miniml.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/extraction/miniml.mli b/contrib/extraction/miniml.mli index acaf0d568..17503ad11 100644 --- a/contrib/extraction/miniml.mli +++ b/contrib/extraction/miniml.mli @@ -30,6 +30,7 @@ type ml_ast = | MLrel of int | MLapp of ml_ast * ml_ast list | MLlam of identifier * ml_ast + | MLletin of identifier * ml_ast * ml_ast | MLglob of global_reference | MLcons of int * identifier * ml_ast list | MLcase of ml_ast * (identifier * identifier list * ml_ast) array |