X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FapplyTransformation.ml;h=be363c50b3f66c0e9a4fec787c45f0ef202243e6;hb=0c6a5aadb1a7746681a8e26fc0b009f847c10557;hp=c70f46c68bb3e034034a5b4f664e5cd92808bab5;hpb=cfaa4ba59014ccb6046a2a672e97a5e88d7d2946;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
+;;
+