From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Dec 2008 21:35:37 +0000 (+0000)
Subject: Useless code removed.
X-Git-Tag: make_still_working~4450
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=02812e27ba6bc048362493d73d36fca3ba052e44;p=helm.git

Useless code removed.
---

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)
diff --git a/helm/software/components/disambiguation/disambiguateTypes.mli b/helm/software/components/disambiguation/disambiguateTypes.mli
index 43cfc2316..c3601eae5 100644
--- a/helm/software/components/disambiguation/disambiguateTypes.mli
+++ b/helm/software/components/disambiguation/disambiguateTypes.mli
@@ -58,4 +58,3 @@ type input_or_locate_uri_type =
   title:string -> ?id:string -> unit -> UriManager.uri option
 
 val string_of_domain_item: domain_item -> string
-val string_of_domain: domain_item list -> string