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/modops.mli | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'kernel/modops.mli')

diff --git a/kernel/modops.mli b/kernel/modops.mli
index 803bdc8398..c209eac1aa 100644
--- a/kernel/modops.mli
+++ b/kernel/modops.mli
@@ -17,7 +17,7 @@ open Declarations
 open Entries
 open Mod_subst
 (*i*)
-exception Circularity of string
+
 (* Various operations on modules and module types *)
 
 (* recursively unfold MTBdent module types *)
@@ -96,10 +96,6 @@ val error_a_generative_module_expected : label -> 'a
 
 val error_local_context : label option -> 'a
 
-val error_circular_with_module : identifier -> 'a
-
-val error_circularity_in_subtyping : string->string->string-> 'a
-
 val error_no_such_label_sub : label->string->string->'a
 
 val resolver_of_environment :
-- 
cgit v1.2.3