X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FapplyTransformation.ml;h=be363c50b3f66c0e9a4fec787c45f0ef202243e6;hb=91abd1cde37b3a21abce01b4898dd4161c0adcb2;hp=c70f46c68bb3e034034a5b4f664e5cd92808bab5;hpb=56415e42c04f40e9c8f7cfc59a3a3d87c3d373f7;p=helm.git

diff --git a/helm/ocaml/cic_transformations/applyTransformation.ml b/helm/ocaml/cic_transformations/applyTransformation.ml
index c70f46c68..be363c50b 100644
--- a/helm/ocaml/cic_transformations/applyTransformation.ml
+++ b/helm/ocaml/cic_transformations/applyTransformation.ml
@@ -75,3 +75,7 @@ let mml_of_cic_object ~explode_all uri acic
    | _ -> assert false
 ;;
 
+let _ =
+ Cexpr2pres_hashtbl.init Cexpr2pres.cexpr2pres Cexpr2pres.cexpr2pres_charcount
+;;
+