From 88fdd28815747520bdc555a2d1b8600e114ab341 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 2 Jun 2017 20:06:47 -0400
Subject: Use Names.Constant.print

As per https://github.com/coq/coq/pull/716#discussion_r119963405
---
 library/heads.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/heads.ml b/library/heads.ml
index 3adfe0fd2..6aee63c74 100644
--- a/library/heads.ml
+++ b/library/heads.ml
@@ -72,7 +72,7 @@ let kind_of_head env t =
        with Not_found ->
          CErrors.anomaly
            Pp.(str "constant not found in kind_of_head: " ++
-               str (Names.Constant.to_string cst) ++
+               Names.Constant.print cst ++
                str "."))
   | Construct _ | CoFix _ ->
       if b then NotImmediatelyComputableHead else ConstructorHead
-- 
cgit v1.2.3