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
---
 dev/printers.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 8e72580629..6f34dbb094 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -51,7 +51,6 @@ Conv_oracle
 Closure
 Reduction
 Type_errors
-Entries
 Modops
 Inductive
 Typeops
-- 
cgit v1.2.3