From c1159f736c8d8f5b95bc53af7614a63f2ab9a86b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 22 Aug 2013 14:29:55 +0000
Subject: Less "Coq" strings everywhere

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16725 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/coqlib.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'interp/coqlib.mli')

diff --git a/interp/coqlib.mli b/interp/coqlib.mli
index d9c0d3ae05..b8e461665a 100644
--- a/interp/coqlib.mli
+++ b/interp/coqlib.mli
@@ -55,11 +55,14 @@ val check_required_library : string list -> unit
 
 (** Modules *)
 val logic_module : DirPath.t
+val logic_module_name : string list
+
 val logic_type_module : DirPath.t
+
 val jmeq_module : DirPath.t
+val jmeq_module_name : string list
 
 val datatypes_module_name : string list
-val logic_module_name : string list
 
 (** Natural numbers *)
 val nat_path : full_path
-- 
cgit v1.2.3