When matita is started on a non-existent file, it avoids creating it

[helm.git] / helm / matita / matitaScript.mli

diff --git a/helm/matita/matitaScript.mli b/helm/matita/matitaScript.mli
index 5266a61e04ee1c05ebc0e234cf5360521061f07a..258a72e0c13fc3cc748e578073a0ef12dcfcb92e 100644 (file)
--- a/helm/matita/matitaScript.mli
+++ b/helm/matita/matitaScript.mli
@@ -46,7 +46,7 @@ object
   (** {2 Load/save} *)
 
   method assignFileName : string -> unit (* to the current active file *)
-  method loadFromFile : unit -> unit
+  method loadFromFile : string -> unit
   method saveToFile : unit -> unit
 
   (** {2 Current proof} (if any) *)