X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcontent.ml;fp=helm%2Focaml%2Fcic_omdoc%2Fcontent.ml;h=6679cfabb466e35758710a6edeba0f542e9448fa;hb=7fd0b9edc6be316b4ef43ca98a6b02f76dd1108e;hp=c3c2295ca3703370079e6145042eafafdec80484;hpb=686e22323249fbfdaf21f53b5a11fe73df52f3b9;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/content.ml b/helm/ocaml/cic_omdoc/content.ml
index c3c2295ca..6679cfabb 100644
--- a/helm/ocaml/cic_omdoc/content.ml
+++ b/helm/ocaml/cic_omdoc/content.ml
@@ -148,7 +148,6 @@ type 'term conjecture = id * int * 'term context * 'term
 and 'term context = 'term hypothesis list
 
 and 'term hypothesis =
- id *
  ['term decl_context_element | ('term,'term proof) def_context_element ] option
 ;;