From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 21 Dec 2010 15:54:00 +0000 (+0000)
Subject: Dead code removed.
X-Git-Tag: make_still_working~2632
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3dd1837c4dfd52e2d2f0b17fbe9fdae39651fe2;p=helm.git

Dead code removed.
---

diff --git a/matita/matita/matitaScript.ml b/matita/matita/matitaScript.ml
index 8ed2fa910..1f05a8837 100644
--- 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 28f415ab2..5519e027b 100644
--- 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) *)