X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FannotationParser.ml;fp=helm%2Finterface%2FannotationParser.ml;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=3c645fe5dc0147014b34ae09019a1d022668b727;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/annotationParser.ml b/helm/interface/annotationParser.ml
deleted file mode 100644
index 3c645fe5d..000000000
--- a/helm/interface/annotationParser.ml
+++ /dev/null
@@ -1,30 +0,0 @@
-exception Warnings;;
-
-class warner =
-  object 
-    method warn w =
-      print_endline ("WARNING: " ^ w) ;
-      (raise Warnings : unit)
-  end
-;;
-
-exception EmptyUri;;
-
-let annotate filename ids_to_targets =
- let module Y = Pxp_yacc in
-  try 
-    let d =
-     let config = {Y.default_config with Y.warner = new warner} in
-      Y.parse_document_entity config
-(*PXP       (Y.ExtID (Pxp_types.System filename,
-         new Pxp_reader.resolve_as_file ~url_of_id ()))
-*)     (PxpUriResolver.from_file filename)
-       Y.default_spec
-
-    in
-     AnnotationParser2.annotate ids_to_targets d#root
-  with
-   e ->
-     print_endline (Pxp_types.string_of_exn e) ;
-     raise e
-;;