Avoid [List.concat_map].
This commit is contained in:
parent
e7cc6adfba
commit
fa92810ac1
|
@ -141,7 +141,7 @@ module Shrinker = struct
|
|||
| ML.PVariant (_, Some pat) ->
|
||||
bv_pat pat
|
||||
| ML.PTuple ps ->
|
||||
List.concat_map bv_pat ps
|
||||
List.(concat (map bv_pat ps))
|
||||
|
||||
(* t[u/x] *)
|
||||
let rec subst t x u =
|
||||
|
|
Loading…
Reference in New Issue