From 211b547f231d074e23c1c12655c3aa3fec8054e3 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 23 Oct 2012 21:23:58 +0000
Subject: Cleared a purely declarative .ml file and moved its interface to
 intf/

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

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index 8c1dd53adc..872a6c9054 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -16,7 +16,6 @@ Conv_oracle
 Closure
 Reduction
 Type_errors
-Entries
 Modops
 Inductive
 Typeops
-- 
cgit v1.2.3