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 -
 1 file changed, 1 deletion(-)

(limited to 'kernel')

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
-- 
cgit v1.2.3