From 37b4895e6037c61b354a587fc9021ef640374186 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 16 Apr 2010 14:13:11 +0000
Subject: Names.mli: double declaration of mind_modpath

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

diff --git a/kernel/names.mli b/kernel/names.mli
index e42f8ea71..e4d2c9322 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -181,7 +181,6 @@ val debug_string_of_mind : mutual_inductive -> string
 
 
 
-val mind_modpath : mutual_inductive -> module_path
 val ind_modpath : inductive -> module_path
 val constr_modpath : constructor -> module_path
 
-- 
cgit v1.2.3