]> matita.cs.unibo.it Git - helm.git/blobdiff - components/acic_procedural/proceduralOptimizer.ml
procedural: bug fixes
[helm.git] / components / acic_procedural / proceduralOptimizer.ml
index 67b3af94091650d924b0269fe2af8d1f04c077c7..9d95d100ba83c375d1ba9f35d17d8ca73268b90c 100644 (file)
@@ -269,6 +269,6 @@ let optimize_obj = function
         C.Constant (name, Some bo, ty, pars, attrs)
       in
       Printf.eprintf "BEGIN: %s\n" name;
-      begin try opt1_term (opt2_term g []) true [] bo
+      begin try opt1_term g (* (opt2_term g []) *) true [] bo
       with e -> failwith ("PPP: " ^ Printexc.to_string e) end
    | obj                                         -> obj