added support for directory browsing in cicBrowser

[helm.git] / helm / matita / matita.ml

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index b62587e1d229a389d88c7fc64e7006e35554f3b5..4b9d9e1f60c0ac4fb2b389c8e814265658b4ff8e 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -88,7 +88,7 @@ let interpreter =
   MatitaInterpreter.interpreter ~console:gui#console ~mathViewer ()
 let _ =
   let href_callback uri =
-    let term = CicAst.Uri (UriManager.string_of_uri uri, None) in
+    let term = CicAst.Uri (uri, None) in
     ignore (interpreter#evalAst (TacticAst.Command (TacticAst.Check term)))
   in
   sequent_viewer#set_href_callback (Some href_callback)