X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=7270603a9636b7ebcd4be445ce9350b0757dfefb;hb=8030b740ba0b84df1ae3a3e5878b447f3e4ec874;hp=bf97b47607f144dfc42e27f34b6bfc7468571f40;hpb=d0e212dcd4bdbeaee9979e53bedd3258cd8e8d0f;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index bf97b4760..7270603a9 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -1013,7 +1013,7 @@ class gui () =
             Helm_registry.get_opt_default Helm_registry.string ~default:"./"
               "matita.tptppath"
           in
-          let data = Matitaprover.p_to_ma ~filename:file ~tptppath in
+          let data = Matitaprover.p_to_ma ~filename:file ~tptppath () in
           let filename = Pcre.replace ~pat:"\\.p$" ~templ:".ma" file in
           script#assignFileName filename;
           source_view#source_buffer#begin_not_undoable_action ();