Modulification of Label

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16097 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

diff --git a/plugins/xml/cic2acic.ml b/plugins/xml/cic2acic.ml
index fb951b35f..4a8436d76 100644
--- a/plugins/xml/cic2acic.ml
+++ b/plugins/xml/cic2acic.ml
@@ -128,12 +128,12 @@ let token_list_of_kernel_name tag =
  let module GN = Globnames in
  let id,dir = match tag with
    | Variable kn ->
-       N.id_of_label (N.label kn), Lib.cwd ()
+       N.Label.to_id (N.label kn), Lib.cwd ()
    | Constant con ->
-       N.id_of_label (N.con_label con),
+       N.Label.to_id (N.con_label con),
        Lib.remove_section_part (GN.ConstRef con)
    | Inductive kn ->
-       N.id_of_label (N.mind_label kn),
+       N.Label.to_id (N.mind_label kn),
        Lib.remove_section_part (GN.IndRef (kn,0))
  in
  token_list_of_path dir id (etag_of_tag tag)