X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotationParser.ml;h=7b4fdad6a5e3d328c8823ff4022622177f0974d9;hb=ae326f646ef4c01b43d6da04201b427d1e175400;hp=9c4a58d5394eb4f4ea4558796b17caec9da2eaf9;hpb=538b694e70fafbf298f27cf57cae13928bac95af;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.ml b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
index 9c4a58d53..7b4fdad6a 100644
--- a/helm/ocaml/cic_annotations/cicAnnotationParser.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
@@ -35,7 +35,7 @@ class warner =
 
 exception EmptyUri;;
 
-let annotate filename ids_to_targets =
+let get_annotations filename =
  let module Y = Pxp_yacc in
   try 
     let d =
@@ -47,7 +47,7 @@ let annotate filename ids_to_targets =
        Y.default_spec
 
     in
-     CicAnnotationParser2.annotate ids_to_targets d#root
+     CicAnnotationParser2.get_annotations d#root
   with
    e ->
      print_endline (Pxp_types.string_of_exn e) ;