From 0168f040e29c3bbaeb666f0b793f41627f154e12 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 28 Nov 2017 18:05:44 +0100
Subject: Adding an interface file for checker/check.ml.

---
 checker/check.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'checker/check.ml')

diff --git a/checker/check.ml b/checker/check.ml
index 180ca1ece..525c84c2f 100644
--- a/checker/check.ml
+++ b/checker/check.ml
@@ -412,9 +412,3 @@ let recheck_library ~norec ~admit ~check =
     (fun (dir,_) -> pr_dirpath dir ++ fnl()) needed));
   List.iter (check_one_lib nochk) needed;
   Flags.if_verbose Feedback.msg_notice (str"Modules were successfully checked")
-
-open Printf
-
-let mem s =
-  let m = try_find_library s in
-  h 0 (str (sprintf "%dk" (CObj.size_kb m)))
-- 
cgit v1.2.3