diff options
Diffstat (limited to 'kernel/cbytegen.mli')
| -rw-r--r-- | kernel/cbytegen.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/cbytegen.mli b/kernel/cbytegen.mli index 814902a554..38c1c45a85 100644 --- a/kernel/cbytegen.mli +++ b/kernel/cbytegen.mli @@ -16,7 +16,7 @@ open Environ (** Should only be used for monomorphic terms *) val compile : fail_on_error:bool -> - ?universes:int -> env -> constr -> (bytecodes * bytecodes * fv) option + ?universes:int -> env -> constr -> (bytecodes * bytecodes * fv) option (** init, fun, fv *) val compile_constant_body : fail_on_error:bool -> |