modifications to make matita behave reasonably, removed some useless windows

[helm.git] / matita / matitacLib.ml

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index 80e81c2d7386f647b10c94aed0f4016dc6ae22ab..ee7a2eae582be1b6b4569650162d13f3cb7561c8 100644 (file)
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -94,7 +94,6 @@ let cut prefix s =
 ;;
 
 let rec compile fname =
-  Helm_registry.set_string "matita.filename" fname;
   (* initialization, MOVE OUTSIDE *)
   let matita_debug = Helm_registry.get_bool "matita.debug" in
   let clean_baseuri = not (Helm_registry.get_bool "matita.preserve") in