diff options
| author | Pierre-Marie Pédrot | 2018-05-24 16:05:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-05-24 16:05:02 +0200 |
| commit | 71ee5fcd23c3585801e7c7534171e2af3fd939ce (patch) | |
| tree | 778c93a623800d752da172f1c79e0af7841d9c1d /kernel/reduction.ml | |
| parent | e43b85c925c0c9c87e1dde69760d9ea343c5cfa8 (diff) | |
| parent | 5ec974962c7be7a7280a8094da733e32c232f5e0 (diff) | |
Merge PR #7177: Unifying names of "smart" combinators + adding combinators in CArray
Diffstat (limited to 'kernel/reduction.ml')
| -rw-r--r-- | kernel/reduction.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/reduction.ml b/kernel/reduction.ml index 81fbd4f5ef..38106fbf67 100644 --- a/kernel/reduction.ml +++ b/kernel/reduction.ml @@ -84,7 +84,7 @@ let map_lift (l : lift) (v : fconstr array) = match v with | [|c0; c1|] -> [|(l, c0); (l, c1)|] | [|c0; c1; c2|] -> [|(l, c0); (l, c1); (l, c2)|] | [|c0; c1; c2; c3|] -> [|(l, c0); (l, c1); (l, c2); (l, c3)|] -| v -> CArray.Fun1.map (fun l t -> (l, t)) l v +| v -> Array.Fun1.map (fun l t -> (l, t)) l v let pure_stack lfts stk = let rec pure_rec lfts stk = |