From be54b359035067a3dcbcf57630063116523c41dd Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 5 Dec 2018 18:29:14 +0100
Subject: Documenting the internal role of to_string and print in Names.

In passing, slightly unify the API to make it clearer.
---
 kernel/names.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index b2d6a489a6..9f27212967 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -391,6 +391,8 @@ module KerName = struct
 
   let print kn = str (to_string kn)
 
+  let debug_print kn = str (debug_to_string kn)
+
   let compare (kn1 : kernel_name) (kn2 : kernel_name) =
     if kn1 == kn2 then 0
     else
-- 
cgit v1.2.3