From 9a2b00fbf9db1bea43dc5456cac20565f5a38c53 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Thu, 2 Jun 2016 18:42:21 +0200
Subject: Please never mention .mli-only file in *.mllib (or future *.mlpack)

 This breaks compilation via ocamlbuild, and also leads to awkward
 commands via make
---
 kernel/kernel.mllib | 1 -
 lib/clib.mllib      | 1 -
 2 files changed, 2 deletions(-)

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index f7220c94a1..1e132e3ab2 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -15,7 +15,6 @@ Copcodes
 Cemitcodes
 Nativevalues
 Primitives
-Nativeinstr
 Opaqueproof
 Declareops
 Retroknowledge
diff --git a/lib/clib.mllib b/lib/clib.mllib
index 95007c52ab..1e33173ee1 100644
--- a/lib/clib.mllib
+++ b/lib/clib.mllib
@@ -29,7 +29,6 @@ Util
 Stateid
 Pp
 Ppstyle
-Xml_datatype
 Richpp
 Feedback
 CUnix
-- 
cgit v1.2.3