From c3dd1837c4dfd52e2d2f0b17fbe9fdae39651fe2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 21 Dec 2010 15:54:00 +0000
Subject: [PATCH] Dead code removed.

---
 matita/matita/matitaScript.ml  | 5 -----
 matita/matita/matitaScript.mli | 1 -
 2 files changed, 6 deletions(-)

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) *)
-- 
2.39.2