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 --- lib/clib.mllib | 1 - 1 file changed, 1 deletion(-) (limited to 'lib') 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