X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2FproceduralOptimizer.ml;h=e16828fa7244e5d81d9983b3fab7de4f111d715b;hb=9be608d0e7ae483754f9922ab521802288d6abf3;hp=776d52645901dbbb316b6caea9ee03a9d9c01637;hpb=f5dfc6c24a393a4717a7b40689df768d271d9ac0;p=helm.git

diff --git a/helm/software/components/acic_procedural/proceduralOptimizer.ml b/helm/software/components/acic_procedural/proceduralOptimizer.ml
index 776d52645..e16828fa7 100644
--- a/helm/software/components/acic_procedural/proceduralOptimizer.ml
+++ b/helm/software/components/acic_procedural/proceduralOptimizer.ml
@@ -42,7 +42,7 @@ let defined_premise = "DEFINED"
 
 let get_type msg c bo =
 try   
-   let ty, _ = TC.type_of_aux' [] c bo Un.empty_ugraph in
+   let ty, _ = TC.type_of_aux' [] c bo Un.oblivion_ugraph in
    ty
 with e -> failwith (msg ^ ": " ^ Printexc.to_string e)