diff options
| author | Antal Spector-Zabusky <antal.b.sz@gmail.com> | 2021-06-18 14:58:56 -0400 |
|---|---|---|
| committer | Antal Spector-Zabusky <antal.b.sz@gmail.com> | 2021-06-21 14:43:37 -0400 |
| commit | 0c993326e10bacd6a9a5f2d9b61033d8615bf964 (patch) | |
| tree | a83a7c4b9e77fc58569a8928b4e1f84f8473451e /typing/printtyp.ml | |
| parent | 2d62e825cac245f44caef75fc6c2ed2875a766b3 (diff) | |
| download | ocaml-0c993326e10bacd6a9a5f2d9b61033d8615bf964.tar.gz | |
Respond to final round of review for #10407
Diffstat (limited to 'typing/printtyp.ml')
| -rw-r--r-- | typing/printtyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index ea5b741f61..0bcf888936 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -2427,7 +2427,7 @@ module Subtype = struct txt1 = wrap_printing_env ~error:true env (fun () -> reset (); - let tr_sub = prepare_trace prepare_expansion tr_sub in + let tr_sub = prepare_trace prepare_expansion tr_sub in let tr_unif = prepare_unification_trace prepare_expansion tr_unif in let keep_first = match tr_unif with | [Obj _ | Variant _ | Escape _ ] | [] -> true |