From 8fc2509f354b02ec4e0a3eb6fabc329109686c47 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 5 Mar 2014 16:50:04 +0100
Subject: Remove some dead-code (thanks to ocaml warnings)

 The removed code isn't used locally and isn't exported in the signature
---
 kernel/cooking.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/cooking.ml')

diff --git a/kernel/cooking.ml b/kernel/cooking.ml
index 31e86e854..dbe188bd4 100644
--- a/kernel/cooking.ml
+++ b/kernel/cooking.ml
@@ -82,8 +82,6 @@ let update_case_info cache ci modlist =
   with Not_found ->
     ci
 
-let empty_modlist = (Cmap.empty, Mindmap.empty)
-
 let is_empty_modlist (cm, mm) =
   Cmap.is_empty cm && Mindmap.is_empty mm
 
-- 
cgit v1.2.3