diff options
| -rw-r--r-- | typing/printtyp.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 187544657..78dcd0441 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -776,4 +776,9 @@ let unification_error unif tr txt1 txt2 = close_box () let trace fst txt tr = - trace fst txt (filter_trace tr) + match tr with + (t1, t1')::(t2, t2')::tr -> + trace fst txt ((t1, t1')::(t2, t2')::filter_trace tr) + | _ -> + () + |