X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralOptimizer.ml;h=1b4cbd8e003ca3790f89f21c2f72ec465036bc35;hb=0b76904a3f10bfd6390d26172fd6979626bd72f4;hp=52192f723de1f0181a3f0cb1474307de068dc025;hpb=04c05cf08605156ba8c6fa7225b4a90496c03698;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.ml b/helm/software/components/acic_procedural/proceduralOptimizer.ml
index 52192f723..1b4cbd8e0 100644
--- 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