X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataPp.mli;h=bd37a99595e6fc1c3182df322fb3cde220828158;hb=b41886e9d21d756279bd6a2ec3f19c17b1a64401;hp=4ab5f7e76def2821a002d640d34f4b0361cf5ed8;hpb=282f371ba8533ea0e4e667265f9e4b04856bf972;p=helm.git

diff --git a/helm/ocaml/metadata/metadataPp.mli b/helm/ocaml/metadata/metadataPp.mli
index 4ab5f7e76..bd37a9959 100644
--- a/helm/ocaml/metadata/metadataPp.mli
+++ b/helm/ocaml/metadata/metadataPp.mli
@@ -28,7 +28,6 @@
 val pp_position: MetadataTypes.position -> string
 val pp_position_tag: MetadataTypes.position -> string
 (* val pp_constr: MetadataTypes.constr -> string *)
-val pp_sort: Cic.sort -> string
 
 (** Pretty printer and OCamlDBI friendly interface *)