From 99843b6c0c9ac9e7f9e75a2a3361211e67d31d89 Mon Sep 17 00:00:00 2001 From: coq Date: Mon, 19 Aug 2002 10:35:50 +0000 Subject: 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 --- dev/top_printers.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dev') 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) -- cgit v1.2.3