Timings

[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 776d52645901dbbb316b6caea9ee03a9d9c01637..e16828fa7244e5d81d9983b3fab7de4f111d715b 100644 (file)
--- 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)