simplified coercDb implementation with additional info about the position of

[helm.git] / helm / software / components / library / librarian.mli

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index 25ab0853e9184e615a7a3b4f73c0f00b58ab6051..0c74f3ea5cc7fd28c8988ef6d7edbfbe52229599 100644 (file)
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -74,7 +74,6 @@ module type Format =
     val mtime_of_source_object: source_object -> float option
     val mtime_of_target_object: target_object -> float option
     val is_readonly_buri_of: options -> source_object -> bool
-    val dotdothack: source_object -> source_object 
   end
 
 module Make :