diff options
Diffstat (limited to 'parsing')
-rw-r--r-- | parsing/pretty.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/parsing/pretty.ml b/parsing/pretty.ml index ba2214ad6..33c5f862e 100644 --- a/parsing/pretty.ml +++ b/parsing/pretty.ml @@ -445,8 +445,8 @@ let print_index_coercion c = print_coercion_value v let print_class i = - let cl,x = class_info_from_index i in - [< 'sTR x.cL_STR >] + let cl,_ = class_info_from_index i in + [< 'sTR (string_of_class cl) >] let print_path ((i,j),p) = [< 'sTR"["; @@ -463,7 +463,8 @@ let print_graph () = let print_classes () = [< prlist_with_sep pr_spc (fun (_,(cl,x)) -> - [< 'sTR x.cL_STR (*; 'sTR(string_of_strength x.cL_STRE) *) >]) + [< 'sTR (string_of_class cl) + (*; 'sTR(string_of_strength x.cL_STRE) *) >]) (classes()) >] let print_coercions () = |