From 0ca429ab80f48b7dd0fe6ea9043548f5bb977577 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Apr 2004 12:08:13 +0000
Subject: [PATCH] - use PxpHelmConf - no longer use deprecated Pxp_yacc

---
 .../cic_annotations/cicAnnotationParser.ml    | 19 ++++---------------
 1 file changed, 4 insertions(+), 15 deletions(-)

diff --git a/helm/ocaml/cic_annotations/cicAnnotationParser.ml b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
index d8c67ea63..2d04cbc80 100644
--- a/helm/ocaml/cic_annotations/cicAnnotationParser.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotationParser.ml
@@ -23,26 +23,15 @@
  * http://cs.unibo.it/helm/.
  *)
 
-exception Warnings;;
-
-class warner =
-  object 
-    method warn w =
-      print_endline ("WARNING: " ^ w) ;
-      (raise Warnings : unit)
-  end
-;;
-
 exception EmptyUri;;
 
 let get_annotations filename =
- 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
-       (Y.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
-       Y.default_spec
+     let config = PxpHelmConf.pxp_config in
+      Pxp_tree_parser.parse_document_entity config
+       (Pxp_types.from_file ~alt:[PxpUrlResolver.url_resolver] filename)
+       PxpHelmConf.pxp_spec
 
     in
      CicAnnotationParser2.get_annotations d#root
-- 
2.39.2