X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Facic2Ast.ml;h=752dd321642243763245dddaba808c47385fd4b7;hb=b26c4349ed1401d2ac9904deb47efbd4c454d98e;hp=d8ded0356fe7de783dfd34942ce4096c2b4e4eb4;hpb=31851952e1cc2db59168c5fd6f6093d9bc37ea86;p=helm.git

diff --git a/helm/ocaml/cic_transformations/acic2Ast.ml b/helm/ocaml/cic_transformations/acic2Ast.ml
index d8ded0356..752dd3216 100644
--- 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