X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2Fcic2content.ml;h=2749708d2018ec609e8132f689d02f40ad9e781a;hb=735b9b35a70420d91d074e8add620f03d7100d1a;hp=12b806162b45abb816a90f3e7d9bca0f7225bc4f;hpb=e23bc37c0a5e552395e499e7b8cee8d610b8e4f4;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/cic2content.ml b/helm/ocaml/cic_omdoc/cic2content.ml
index 12b806162..2749708d2 100644
--- a/helm/ocaml/cic_omdoc/cic2content.ml
+++ b/helm/ocaml/cic_omdoc/cic2content.ml
@@ -209,7 +209,6 @@ let flat seed p =
     else 
       let p1 =
         { p with
-          K.proof_id = gen_id seed;
           K.proof_context = []; 
           K.proof_apply_context = []
         } in