diff options
author | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-08-19 10:35:50 +0000 |
---|---|---|
committer | coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-08-19 10:35:50 +0000 |
commit | 99843b6c0c9ac9e7f9e75a2a3361211e67d31d89 (patch) | |
tree | dc59d885d61568677a7a067fbd13fc0483c9adf3 /dev | |
parent | a3a5350786ace6fac2c12890df6330782201cc77 (diff) |
Pretty-printing preliminaire des modules, commandes
Print Module qid.
Print Module Type qid.
et affichage pendant
Print All.
Tout ca est preliminare, seuls les noms des composants sont affiches et
non pas les corps...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2973 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
-rw-r--r-- | dev/top_printers.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index 62fc841e6..fb342b221 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -43,8 +43,8 @@ let pptype = (fun x -> pp(prtype x)) let prid id = pp (pr_id id) let prlab l = pp (pr_lab l) -let prmsid msid = pp (str (string_of_msid msid)) -let prmbid mbid = pp (str (string_of_mbid mbid)) +let prmsid msid = pp (str (debug_string_of_msid msid)) +let prmbid mbid = pp (str (debug_string_of_mbid mbid)) let prdir dir = pp (pr_dirpath dir) |