From a506a219c15771b2bfe8a9a8ea1056feaea3eed8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 23 Nov 2000 14:07:55 +0000
Subject: print_id, print_sp -> pr_id, pr_sp

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@930 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/tacred.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping')

diff --git a/pretyping/tacred.ml b/pretyping/tacred.ml
index cfd2d919c6..1edeb78f8f 100644
--- a/pretyping/tacred.ml
+++ b/pretyping/tacred.ml
@@ -424,7 +424,7 @@ let rec substlin env name n ol c =
           with
 	      NotEvaluableConst _ ->
 		errorlabstrm "substlin"
-		  [< print_sp sp; 'sTR " is not a defined constant" >]
+		  [< pr_sp sp; 'sTR " is not a defined constant" >]
         else 
 	  ((n+1),ol,c)
 
-- 
cgit v1.2.3