X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2Flibrarian.mli;h=25ab0853e9184e615a7a3b4f73c0f00b58ab6051;hb=8da8820a77f2104dd1bf17c01fa77f75ee31c8fb;hp=e7b6df521aaff07fe08b57d1fa2be9eabbdcf90d;hpb=7782637e13656ec7d1d0ccc84e0d8cf894431187;p=helm.git

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index e7b6df521..25ab0853e 100644
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -91,7 +91,7 @@ module Make :
  * state that plus.ma needs nat and equality
  *)
 val load_deps_file: string -> (string * string list) list
-val write_deps_file: string -> (string * string list) list -> unit
+val write_deps_file: string option -> (string * string list) list -> unit
 
 (* FG ***********************************************************************)