X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fdisambiguation%2FdisambiguateTypes.ml;h=23c16cff28e620e388f259c15e4bf6a44e0face4;hb=5cfd68a5d9e73edb40e1cfe021a1426354767aa8;hp=496c7db35203476b25a3656a01da0e6f7958da36;hpb=c04f852241510515f06e3bec8eb79acac6e4952e;p=helm.git

diff --git a/helm/software/components/disambiguation/disambiguateTypes.ml b/helm/software/components/disambiguation/disambiguateTypes.ml
index 496c7db35..23c16cff2 100644
--- a/helm/software/components/disambiguation/disambiguateTypes.ml
+++ b/helm/software/components/disambiguation/disambiguateTypes.ml
@@ -86,6 +86,3 @@ let string_of_domain_item = function
   | Id s -> Printf.sprintf "ID(%s)" s
   | Symbol (s, i) -> Printf.sprintf "SYMBOL(%s,%d)" s i
   | Num i -> Printf.sprintf "NUM(instance %d)" i
-
-let string_of_domain dom =
-  String.concat "; " (List.map string_of_domain_item dom)