X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_cache.mli;h=7a426f38d2bde6aeaafdb8a1954747658afb8447;hb=6f35286a0c7e5c5b6569f742495efc267772f7a1;hp=f6c951ea6b36be0756b8b932f2bd80cb844f11ec;hpb=5bdce5de1d06bd71c016cfe969f8d8e406f54a9e;p=khatus.git

diff --git a/src/ocaml/lib/khatus_cache.mli b/src/ocaml/lib/khatus_cache.mli
index f6c951e..7a426f3 100644
--- a/src/ocaml/lib/khatus_cache.mli
+++ b/src/ocaml/lib/khatus_cache.mli
@@ -11,6 +11,10 @@ val update
   -> time  : Khatus_time.t
   -> unit
 
-val update_if_data : t -> msg:Khatus_msg.t -> time:Khatus_time.t -> unit
-
-val dump : t -> node:string -> modul:string -> oc:out_channel -> unit
+val dump_to_dir
+  : t
+  -> time:Khatus_time.t
+  -> node:string
+  -> modul:string
+  -> dir:string
+  -> unit