X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaEngine.ml;h=430151d9a42fbd1594391aac8a1722bb4f8eff81;hb=64e9baf5488aa0ad2e2d356ef6eb72b8ecb9fca0;hp=457f376bb2c0afcb3b3540a68aeaca84f482d94e;hpb=879e5c4aa7687be63527845ba34d2d0bb12546a3;p=helm.git

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 457f376bb..430151d9a 100644
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -56,18 +56,3 @@ let eval_string ?do_heavy_checks ~include_paths ?clean_baseuri status str =
       (Ulexing.from_utf8_string str) (fun _ _ -> ())
  with End_of_file -> ()
 
-let default_options () = no_options
-
-let initial_status =
-  lazy {
-    aliases = DisambiguateTypes.Environment.empty;
-    multi_aliases = DisambiguateTypes.Environment.empty;
-    moo_content_rev = [];
-    metadata = [];
-    proof_status = No_proof;
-    options = default_options ();
-    objects = [];
-    coercions = [];
-    notation_ids = [];
-  }
-