From 1018c2c749fba12790d623a5889da91453dddabb Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 10 Oct 2018 08:36:22 +0000
Subject: [micromega] remove dead code

---
 plugins/micromega/persistent_cache.mli | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'plugins/micromega/persistent_cache.mli')

diff --git a/plugins/micromega/persistent_cache.mli b/plugins/micromega/persistent_cache.mli
index 240fa490fc..4e7a388aaf 100644
--- a/plugins/micromega/persistent_cache.mli
+++ b/plugins/micromega/persistent_cache.mli
@@ -15,11 +15,6 @@ module type PHashtable =
     type 'a t
     type key
 
-    val create : int -> string -> 'a t
-    (** [create i f] creates an empty persistent table
-        with initial size i associated with file [f] *)
-
-
     val open_in : string -> 'a t
     (** [open_in f] rebuilds a table from the records stored in file [f].
         As marshaling is not type-safe, it migth segault.
@@ -33,11 +28,6 @@ module type PHashtable =
         (and writes the binding to the file associated with [tbl].)
         If [key] is already bound, raises KeyAlreadyBound *)
 
-    val close : 'a t -> unit
-    (** [close tbl] is closing the table.
-        Once closed, a table cannot be used.
-        i.e, find,add will raise UnboundTable *)
-
     val memo : string -> (key -> 'a) -> (key -> 'a)
       (** [memo cache f] returns a memo function for [f] using file [cache] as persistent table.
           Note that the cache will only be loaded when the function is used for the first time *)
-- 
cgit v1.2.3