Imported Upstream version 8.0pl3+8.1betaupstream/8.0pl3+8.1beta

1 files changed, 3 insertions, 3 deletions

diff --git a/contrib/xml/cic2acic.ml b/contrib/xml/cic2acic.ml
index bac7ad7c..f217b037 100644
--- a/contrib/xml/cic2acic.ml
+++ b/contrib/xml/cic2acic.ml
@@ -64,7 +64,7 @@ let get_uri_of_var v pvars =
   in
   let rec search_in_open_sections =
    function
-      [] -> Util.error "Variable not found"
+      [] -> Util.error ("Variable "^v^" not found")
     | he::tl as modules ->
        let dirpath = N.make_dirpath modules in
         if List.mem (N.id_of_string v) (D.last_section_hyps dirpath) then
@@ -167,10 +167,10 @@ let token_list_of_kernel_name tag =
        N.id_of_label (N.label kn), Lib.cwd ()
    | Constant con -> 
        N.id_of_label (N.con_label con),
-       Lib.library_part (LN.ConstRef con)
+       Lib.remove_section_part (LN.ConstRef con)
    | Inductive kn ->
        N.id_of_label (N.label kn),
-       Lib.library_part (LN.IndRef (kn,0))
+       Lib.remove_section_part (LN.IndRef (kn,0))
  in
  token_list_of_path dir id (etag_of_tag tag)
 ;;