huge amount of work to make out Make crawl roots and

[helm.git] / matita / matitacLib.mli

diff --git a/matita/matitacLib.mli b/matita/matitacLib.mli
index b126df3a114ce7bffe75c42cddadf0efff88a45c..03ea56beb14a536f82747be7362ba0c348cf3c97 100644 (file)
--- a/matita/matitacLib.mli
+++ b/matita/matitacLib.mli
@@ -27,6 +27,6 @@
 val set_callback: (string -> unit) -> unit 
 
 module Make : sig
-        val make: (string * string list) list -> string list -> unit
+        val make: string -> string list -> bool
 end