diff options
Diffstat (limited to 'kernel/vmbytegen.ml')
| -rw-r--r-- | kernel/vmbytegen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vmbytegen.ml b/kernel/vmbytegen.ml index 16a0f42664..6899ebe1a6 100644 --- a/kernel/vmbytegen.ml +++ b/kernel/vmbytegen.ml @@ -770,7 +770,7 @@ let rec compile_lam env cenv lam sz cont = let cont = code_makeblock ~stack_size:(sz+arity-1) ~arity ~tag cont in comp_args (compile_lam env) cenv args sz cont - | Lprim (Some (kn,u), op, args) when is_caml_prim op -> + | Lprim ((kn,u), op, args) when is_caml_prim op -> let arity = CPrimitives.arity op in let nparams = CPrimitives.nparams op in let nargs = arity - nparams in |