ppvernac: bidi hints use & not |

1 files changed, 1 insertions, 1 deletions

diff --git a/vernac/ppvernac.ml b/vernac/ppvernac.ml
index 5cffc39839..3dbf7afb78 100644
--- a/vernac/ppvernac.ml
+++ b/vernac/ppvernac.ml
@@ -1082,7 +1082,7 @@ let string_of_definition_object_kind = let open Decls in function
               let rec print_arguments n nbidi l =
                 match n, nbidi, l with
                   | Some 0, _, l -> spc () ++ str"/" ++ print_arguments None nbidi l
-                  | _, Some 0, l -> spc () ++ str"|" ++ print_arguments n None l
+                  | _, Some 0, l -> spc () ++ str"&" ++ print_arguments n None l
                   | None, None, [] -> mt()
                   | _, _, [] ->
                     let dummy = {name=Anonymous; recarg_like=false;