From 91abd1cde37b3a21abce01b4898dd4161c0adcb2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 29 Apr 2004 16:14:33 +0000 Subject: [PATCH] moved here initialization code (previously in gTopLevel/termViewer.ml) --- helm/ocaml/cic_transformations/applyTransformation.ml | 4 ++++ 1 file changed, 4 insertions(+) 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 +;; + -- 2.39.2