Dead code removed.

diff --git a/matita/matita/matitaScript.ml b/matita/matita/matitaScript.ml
index 8ed2fa910b9fa7cf482a2e1f8772ed429809b867..1f05a8837e1e5ecf95fe548839ade424960c73a6 100644 (file)
--- a/matita/matita/matitaScript.ml
+++ b/matita/matita/matitaScript.ml
@@ -835,11 +835,6 @@ object (self)
   method activate =
     self#notify
 
-  method loadFromString s =
-    buffer#set_text s;
-    self#reset_buffer;
-    buffer#set_modified true
-
   method loadFromFile f =
     buffer#set_text (HExtlib.input_file f);
     self#reset_buffer;

diff --git a/matita/matita/matitaScript.mli b/matita/matita/matitaScript.mli
index 28f415ab2aa947fdc92008e013e916a3623e9cda..5519e027ba102b5f96dad185e460780fdc48d7f2 100644 (file)
--- a/matita/matita/matitaScript.mli
+++ b/matita/matita/matitaScript.mli
@@ -82,7 +82,6 @@ object
   method include_paths: string list
   method assignFileName : string option -> unit (* to the current active file *)
   method loadFromFile : string -> unit
-  method loadFromString : string -> unit
   method saveToFile : unit -> unit
 
   (** {2 Current proof} (if any) *)