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
---
 kernel/environ.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/environ.ml b/kernel/environ.ml
index 17b411f9f7..87d9e306fe 100644
--- a/kernel/environ.ml
+++ b/kernel/environ.ml
@@ -368,7 +368,7 @@ let import_constraints g sp cst =
     merge_constraints cst g
   with UniverseInconsistency ->
     errorlabstrm "import_constraints"
-      [< 'sTR "Universe Inconsistency during import of"; 'sPC; print_sp sp >]
+      [< 'sTR "Universe Inconsistency during import of"; 'sPC; pr_sp sp >]
 
 let import cenv env =
   check_imports env cenv.cenv_needed;
-- 
cgit v1.2.3