1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/names.ml b/kernel/names.ml
index e9de197fea..b471573f6b 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -65,6 +65,12 @@ let id_ord id1 id2 =
 
 let id_without_number id = id.index = (-1)
 
+let first_char id =
+  if id.atom = "" then
+    failwith "lowercase_first_char"
+  else
+    String.make 1 id.atom.[0]
+
 module IdOrdered = 
   struct
     type t = identifier