diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-25 18:48:26 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-25 18:48:26 +0000 |
| commit | 1ae1127ba307d6b42ffc8732b1af6cb725e04234 (patch) | |
| tree | f60e4b4d8704c9e430e8ab5fc395c2a5612e1ead /parsing | |
| parent | fd1a9d7e2b8fb288ff20f372f860b2b7dacc5926 (diff) | |
Effet réorganisation Classops
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1202 85f007b7-540e-0410-9357-904b9bb8a0f7
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 () = |