Merge PR #8691: Remove some dead code in nsatz and micromega plugins

1 files changed, 0 insertions, 10 deletions

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 *)