more strings to UriManager.uri

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 27122ef1deaf635f594d2931d2a606046fc81069..6b5e3f8332c60e21283486461032d020f12ac60d 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -230,7 +230,7 @@ let interpretate_term ~context ~env ~uri ~is_path ast =
           let cic =
             if is_uri ast then  (* we have the URI, build the term out of it *)
               try
-                CicUtil.term_of_uri name
+                CicUtil.term_of_uri (UriManager.uri_of_string name)
               with UriManager.IllFormedUri _ ->
                 CicTextualParser2.fail loc "Ill formed URI"
             else
@@ -638,7 +638,7 @@ module Make (C: Callbacks) =
           (UriManager.string_of_uri uri,
            let term =
              try
-               CicUtil.term_of_uri (UriManager.string_of_uri uri)
+               CicUtil.term_of_uri uri
              with exn ->
                debug_print (UriManager.string_of_uri uri);
                debug_print (Printexc.to_string exn);