diff options
| author | herbelin | 2011-12-04 20:48:26 +0000 |
|---|---|---|
| committer | herbelin | 2011-12-04 20:48:26 +0000 |
| commit | 7d3ca4346465f31bd58ead06b9856637c0f5fc4d (patch) | |
| tree | 19d1494778ad94377b02e833bf7f4f16ceae499d /parsing/prettyp.ml | |
| parent | 17e99469c656a157f5ab998e21c41294ea2abbf8 (diff) | |
Fixing superflous newline in output of About when no parameter is renamed.
Fixing output tests after having added flushing of warning in
revisions 14747 and 14750.
Moving Implicit output test to new command Arguments.
Adding test of new Arguments syntax in PrintInfos.v.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14758 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/prettyp.ml')
| -rw-r--r-- | parsing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index 3151fa6d07..e30979bf9b 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -120,7 +120,7 @@ let print_impargs_list prefix l = else [str "No implicit arguments"]))])]) l) let print_renames_list prefix l = - if l = [] then [prefix] else + if l = [] then [] else [add_colon prefix ++ str "Arguments are renamed to " ++ hv 2 (prlist_with_sep pr_comma (fun x -> x) (List.map pr_name l))] |