X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;h=b39d35f070f68bce422c3ded19ecc7b729a9ed50;hb=e01753bf730b3c4e50df0655f7940f8720b16524;hp=2eafc81f309d165ba136f48d61759b76fea5602f;hpb=66a331a32509281f0c28ced014640e98a49cc0e0;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 2eafc81f3..b39d35f07 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -235,7 +235,7 @@ let interpretate ~context ~env ast =
             match cic with
             | Cic.Const (uri, []) ->
                 let uris =
-		  let o,_ = CicEnvironment.get_obj uri CicUniv.empty_ugraph in
+		  let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
                   match o with
                   (*match CicTypeChecker.typecheck uri with*)
                   | Cic.Constant (_, _, _, uris) -> uris
@@ -244,7 +244,7 @@ let interpretate ~context ~env ast =
                 Cic.Const (uri, mk_subst uris)
             | Cic.Var (uri, []) ->
                 let uris =
-		  let o,_ = CicEnvironment.get_obj uri CicUniv.empty_ugraph in
+		  let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
                   match o with
                   (*match CicTypeChecker.typecheck uri with*)
                   | Cic.Variable (_, _, _, uris) -> uris
@@ -253,7 +253,7 @@ let interpretate ~context ~env ast =
                 Cic.Var (uri, mk_subst uris)
             | Cic.MutInd (uri, i, []) ->
                 let uris =
-		  let o,_ = CicEnvironment.get_obj uri CicUniv.empty_ugraph in
+		  let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
                   match o with
                   (*match CicTypeChecker.typecheck uri with*)
                   | Cic.InductiveDefinition (_, uris, _) -> uris
@@ -262,7 +262,7 @@ let interpretate ~context ~env ast =
                 Cic.MutInd (uri, i, mk_subst uris)
             | Cic.MutConstruct (uri, i, j, []) ->
                 let uris =
-		  let o,_ = CicEnvironment.get_obj uri CicUniv.empty_ugraph in
+		  let o,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
                   match o with
                   (*match CicTypeChecker.typecheck uri with*)
                   | Cic.InductiveDefinition (_, uris, _) -> uris