From cfa3aa27f1141fe732a473efd0cff794694c63bb Mon Sep 17 00:00:00 2001
From: soubiran
Date: Wed, 21 Feb 2007 13:54:58 +0000
Subject: Fixed the pseudo-cicularity problem due to the with operator on
 Module Type.

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

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index 5dcd8a68f6..09c98eafc3 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -88,6 +88,7 @@ type label = string
 type mod_self_id = uniq_ident
 let make_msid = make_uid
 let debug_string_of_msid = debug_string_of_uid
+let refresh_msid (_,s,dir) = make_uid dir s
 let string_of_msid = string_of_uid
 let id_of_msid (_,s,_) = s
 let label_of_msid (_,s,_) = s
-- 
cgit v1.2.3