diff options
-rw-r--r-- | parsing/pprintast.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml index 12884b30bd..4dfdda5645 100644 --- a/parsing/pprintast.ml +++ b/parsing/pprintast.ml @@ -307,14 +307,11 @@ and core_type ctxt f x = core_type ctxt f ct | Ptyp_poly (sl, ct) -> pp f "@[<2>%a%a@]" - (fun f l -> - pp f "%a" (fun f l -> match l with | [] -> () | _ -> pp f "%a@;.@;" (list tyvar_loc ~sep:"@;") l) - l) sl (core_type ctxt) ct | _ -> pp f "@[<2>%a@]" (core_type1 ctxt) x |