- factorized DisambiguateChoices module

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

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index a8dda6c39b66c53057e273532a1c0f9cf8aa6039..525a7e33f8a1f1bb044d4e00190e7b0f6d0b25f5 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -54,13 +54,3 @@ module type Callbacks =
 val string_of_domain_item: domain_item -> string
 val string_of_domain: Domain.t -> string
 
-(**/**)
-
-module EnvironmentP3:
-  sig
-    type t = environment
-    val empty : string
-    val to_string : t -> string
-    val of_string : string -> t
-  end
-