X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2FtopLevel.ml;h=7736c1a29404b17ea0f194e0c5e0250d74cccf97;hb=86ec68f575f6f781572d14d0aba9a98a860c94a6;hp=32ae4d1cb8c015ce481c737aedfc30a52c475ef0;hpb=795c7a7a2f45650204e6d5a5974a0eedec6af7af;p=helm.git

diff --git a/helm/gTopLevel/topLevel/topLevel.ml b/helm/gTopLevel/topLevel/topLevel.ml
index 32ae4d1cb..7736c1a29 100644
--- a/helm/gTopLevel/topLevel/topLevel.ml
+++ b/helm/gTopLevel/topLevel/topLevel.ml
@@ -28,7 +28,7 @@ let pp_type_of uri =
    in print_endline s; flush stdout
 
 let locate name = 
-   print_endline (MQueryGenerator.locate name);
+   print_endline (MQueryGenerator.locate_html name);
    flush stdout
 
 let rec display = function