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