moved here initialization code (previously in gTopLevel/termViewer.ml)

diff --git a/helm/ocaml/cic_transformations/applyTransformation.ml b/helm/ocaml/cic_transformations/applyTransformation.ml
index c70f46c68bb3e034034a5b4f664e5cd92808bab5..be363c50b3f66c0e9a4fec787c45f0ef202243e6 100644 (file)
--- 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
+;;
+