fix compat with ocaml < 4.13

LPCIC · Jan 25, 2024 · 58af4e2 · 58af4e2
1 parent 1cd9e96
commit 58af4e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/coq_elpi_utils.ml b/src/coq_elpi_utils.ml
@@ -482,7 +482,7 @@ let detype ?(keepunivs = false) env sigma t =
           list_map_acc
             (fun env (n, ty) -> push_occurring_rel (LocalAssum (n, ty)) env)
             env
-            (CArray.combine names tys |> CArray.to_list)
+            (CList.combine (names|> CArray.to_list) (tys |> CArray.to_list))
         in
         let n = Array.length tys in
         let v = CArray.map3 (fun c t i -> share_names (i + 1) [] env c (Vars.lift n t)) bodies tys vn in