diff options
Diffstat (limited to 'bytecomp/translcore.mli')
| -rw-r--r-- | bytecomp/translcore.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/translcore.mli b/bytecomp/translcore.mli index 34c2023dd..929112962 100644 --- a/bytecomp/translcore.mli +++ b/bytecomp/translcore.mli @@ -9,7 +9,7 @@ val transl_exp: compilenv -> expression -> lambda val transl_let: compilenv -> rec_flag -> (pattern * expression) list -> compilenv * (lambda -> lambda) -val transl_primitive: primitive_description option -> lambda +val transl_primitive: Primitive.description option -> lambda val transl_exception: Ident.t -> exception_declaration -> lambda type error = |