From 02812e27ba6bc048362493d73d36fca3ba052e44 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 5 Dec 2008 21:35:37 +0000 Subject: [PATCH] Useless code removed. --- helm/software/components/disambiguation/disambiguateTypes.ml | 3 --- helm/software/components/disambiguation/disambiguateTypes.mli | 1 - 2 files changed, 4 deletions(-) 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 -- 2.39.2