cicUtil: we moved here pp_term from proceduralHelpers

[helm.git] / helm / software / components / acic_procedural / proceduralOptimizer.ml

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.ml b/helm/software/components/acic_procedural/proceduralOptimizer.ml
index 52192f723de1f0181a3f0cb1474307de068dc025..1b4cbd8e003ca3790f89f21c2f72ec465036bc35 100644 (file)
--- a/helm/software/components/acic_procedural/proceduralOptimizer.ml
+++ b/helm/software/components/acic_procedural/proceduralOptimizer.ml
@@ -35,6 +35,7 @@ module PEH  = ProofEngineHelpers
 module TC   = CicTypeChecker 
 module Un   = CicUniv
 module L    = Librarian
+module Ut   = CicUtil
 
 module H    = ProceduralHelpers
 module Cl   = ProceduralClassify
@@ -242,8 +243,8 @@ let optimize_obj = function
       let g st bo =
         if !debug then begin 
            Printf.eprintf "Optimized : %s\n" (Pp.ppterm bo); 
-           prerr_string "H.pp_term : ";
-           H.pp_term prerr_string [] c bo; prerr_newline ()
+           prerr_string "Ut.pp_term : ";
+           Ut.pp_term prerr_string [] c bo; prerr_newline ()
         end;
 (*      let _ = H.get_type "opt" [] (C.Cast (bo, ty)) in *)
          let nodes = Printf.sprintf "Optimized nodes: %u" (I.count_nodes 0 bo) in