implemented interface for gTopLevel

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

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index 5f797ab5dbbfb1ef12b0096aba811a541ac53a77..94690373af3abe9f368b230225e43cab3e61de18 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate.mli
@@ -25,9 +25,6 @@
 
 open Disambiguate_types
 
-  (* TODO move to  CicSomething *)
-val term_of_uri: string -> Cic.term
-
 (** {2 Choice registration interface} *)
 
   (** to be raised when a choice is invalid due to some given parameter (e.g.