Fix assertion that checks that APPLY can only be passed 4 arguments.

1 files changed, 1 insertions, 1 deletions

diff --git a/kernel/vmbytegen.ml b/kernel/vmbytegen.ml
index 7d3b3469b0..3dc268ccdf 100644
--- a/kernel/vmbytegen.ml
+++ b/kernel/vmbytegen.ml
@@ -761,7 +761,7 @@ let rec compile_lam env cenv lam sz cont =
     let arity = CPrimitives.arity op in
     let nparams = CPrimitives.nparams op in
     let nargs = arity - nparams in
-    assert (arity = Array.length args && arity <= 4);
+    assert (arity = Array.length args && arity + Univ.Instance.length u <= 4);
     let (jump, cont) = make_branch cont in
     let lbl_default = Label.create () in
     let default =