new cicEnvironment implementation

[helm.git] / helm / ocaml / cic_transformations / acic2Ast.ml

diff --git a/helm/ocaml/cic_transformations/acic2Ast.ml b/helm/ocaml/cic_transformations/acic2Ast.ml
index d8ded0356fe7de783dfd34942ce4096c2b4e4eb4..752dd321642243763245dddaba808c47385fd4b7 100644 (file)
--- a/helm/ocaml/cic_transformations/acic2Ast.ml
+++ b/helm/ocaml/cic_transformations/acic2Ast.ml
@@ -37,7 +37,7 @@ let sort_of_string = function
   | _ -> assert false
 
 let get_types uri =
-  let o,_ = CicEnvironment.get_obj uri CicUniv.empty_ugraph in
+  let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
     match o with
       | Cic.Constant _ -> assert false
       | Cic.Variable _ -> assert false