diff options
| author | herbelin | 2003-09-16 19:36:57 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-16 19:36:57 +0000 |
| commit | 53e756099815a77e2571778b0917dc892f04cdc0 (patch) | |
| tree | 974d13e87a193aa81b4871ac668ee7f6afe64c9b | |
| parent | b5514a1d164baf6172bded8dcc2c369d0c86b8cf (diff) | |
En attendant l'afficheur...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4405 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | parsing/pptactic.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/pptactic.ml b/parsing/pptactic.ml index e8a359316e..1e839fcc62 100644 --- a/parsing/pptactic.ml +++ b/parsing/pptactic.ml @@ -373,7 +373,7 @@ let pr_extend_gen proj prgen s l = let (s,pl) = proj (Hashtbl.find tab s) l in str s ++ pr_tacarg_using_rule prgen (pl,l) with Not_found -> - str s ++ prlist prgen l ++ str " (Generic printer)" + str s ++ prlist prgen l ++ str " (* Generic printer *)" let make_pr_tac (pr_tac,pr_tac0,pr_constr,pr_pat,pr_cst,pr_ind,pr_ref,pr_ident,pr_extend) = |