From 5537ef7cbd7948981c44b4e625f75b1afbd194e9 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 29 Jun 2000 11:10:57 +0000
Subject: Renommage mk_unsafe_judgment en get_judgment_of

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

diff --git a/parsing/astterm.ml b/parsing/astterm.ml
index ad4e07dc87..e0e705ee9d 100644
--- a/parsing/astterm.ml
+++ b/parsing/astterm.ml
@@ -555,7 +555,7 @@ let judgment_of_com sigma env com =
 
 (*To retype a list of key*constr with undefined key*)
 let retype_list sigma env lst=
-  List.map (fun (x,csr) -> (x,Retyping.mk_unsafe_judgment env sigma csr)) lst;;
+  List.map (fun (x,csr) -> (x,Retyping.get_judgment_of env sigma csr)) lst;;
 
 (*Interprets a constr according to two lists of instantiations (variables and
   metas)*)
-- 
cgit v1.2.3