xoa updated

[helm.git] / matita / components / binaries / xoa / lib.ml

diff --git a/matita/components/binaries/xoa/lib.ml b/matita/components/binaries/xoa/lib.ml
index e6e203e62738d111c253ac6c311afcd3cc8c13df..573e0ebfb14a8bb9d5125d199071e82d02897e47 100644 (file)
--- a/matita/components/binaries/xoa/lib.ml
+++ b/matita/components/binaries/xoa/lib.ml
@@ -35,7 +35,6 @@ let print_comment och =
 
 let open_out preamble name =
    let path = [
-      R.get_string "matita.rt_base_dir"; 
       R.get_string "xoa.output_dir"; 
       name
    ] in