ported to CicAst

[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 525a7e33f8a1f1bb044d4e00190e7b0f6d0b25f5..059ecf38838320aeae9ba1aa9145cb4edd0c74a5 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -28,7 +28,7 @@ type domain_item =
  | Symbol of string * int     (* literal, instance num *)
  | Num of int                 (* instance num *)
 
-module Domain:      Set.S with type elt = domain_item
+(* module Domain:      Set.S with type elt = domain_item *)
 module Environment: Map.S with type key = domain_item
 
 type codomain_item =
@@ -52,5 +52,5 @@ module type Callbacks =
   end
 
 val string_of_domain_item: domain_item -> string
-val string_of_domain: Domain.t -> string
+val string_of_domain: domain_item list -> string