From f8bbe2c1125593eb57ba01b903d5954e12bfb006 Mon Sep 17 00:00:00 2001
From: soubiran
Date: Wed, 18 Jun 2008 14:17:57 +0000
Subject: meilleur gestion de la fonction de "cache" des alias (declaremods),
 et correction d'un bug sur Import/Export module.

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

(limited to 'kernel/subtyping.ml')

diff --git a/kernel/subtyping.ml b/kernel/subtyping.ml
index 6354bb0fb6..918a2f51ba 100644
--- a/kernel/subtyping.ml
+++ b/kernel/subtyping.ml
@@ -331,7 +331,7 @@ and check_signatures cst env (msid1,sig1) alias (msid2,sig2') =
   let mp1 = MPself msid1 in
   let env = add_signature mp1 sig1 env in 
   let sig1 = subst_structure alias sig1 in
-  let alias1 = update_subst_alias alias (map_msid msid2 mp1) in
+  let alias1 = update_subst alias (map_msid msid2 mp1) in
   let sig2 = subst_structure alias1 sig2' in
   let sig2 = subst_signature_msid msid2 mp1 sig2 in
   let map1 = make_label_map mp1 sig1 in
-- 
cgit v1.2.3