suite 10790 (identificateurs)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10791 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 3 deletions

diff --git a/kernel/names.ml b/kernel/names.ml
index 125c9b6de..60b5b6e42 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -65,9 +65,8 @@ let repr_dirpath x = x
 let empty_dirpath = []
 
 let string_of_dirpath = function
-  | [] -> "<empty>"
-  | sl ->
-      String.concat "." (List.map string_of_id (List.rev sl))
+  | [] -> "_empty_"
+  | sl -> String.concat "." (List.map string_of_id (List.rev sl))
 
 
 let u_number = ref 0