Skip to content

Commit 15ae6b3

Browse files
Revert List.concat_map change in vendor/ppx_easy_deriving/pat_exp.ml
Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/ad9206be-ceef-4040-9820-00b29c798cba Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
1 parent c001b0f commit 15ae6b3

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

src/vendor/ppx_easy_deriving/pat_exp.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,9 +26,9 @@ let rec to_pat ~loc = function
2626
ppat_var ~loc (Located.mk ~loc s)
2727
let rec to_exps ~loc = function
2828
| Record xs ->
29-
List.concat_map (fun (_, x) -> to_exps ~loc x) xs
29+
List.flatten (List.map (fun (_, x) -> to_exps ~loc x) xs)
3030
| Tuple xs ->
31-
List.concat_map (to_exps ~loc) xs
31+
List.flatten (List.map (to_exps ~loc) xs)
3232
| Unit ->
3333
[]
3434
| Base s ->

0 commit comments

Comments
 (0)