mQueryGenerator and topLevel patched

[helm.git] / helm / gTopLevel / topLevel / topLevel.ml

diff --git a/helm/gTopLevel/topLevel/topLevel.ml b/helm/gTopLevel/topLevel/topLevel.ml
index 32ae4d1cb8c015ce481c737aedfc30a52c475ef0..7736c1a29404b17ea0f194e0c5e0250d74cccf97 100644 (file)
--- 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