From 71b3673b0d4f5e615315ea586fc6174e898abbfc Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 30 May 2006 10:33:42 +0000 Subject: [PATCH] use the proper top level function to parse terms --- helm/software/daemons/whelp/searchEngine.ml | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/helm/software/daemons/whelp/searchEngine.ml b/helm/software/daemons/whelp/searchEngine.ml index e1e08bd4b..fc4911619 100644 --- a/helm/software/daemons/whelp/searchEngine.ml +++ b/helm/software/daemons/whelp/searchEngine.ml @@ -357,9 +357,8 @@ let exec_action dbd (req: Http_types.request) outchan = end in let module Disambiguate' = Disambiguate.Make(Chat) in -prerr_endline "VOVI"; - let ast = Grammar.Entry.parse CicNotationParser.term (Stream.of_string term_str) in -prerr_endline "VIVO"; + let ast = + CicNotationParser.parse_term (Ulexing.from_utf8_string term_str) in let (id_to_uris, metasenv, term) = match Disambiguate'.disambiguate_term ~dbd ~context ~metasenv @@ -500,10 +499,10 @@ let restore_environment () = printf "done!\n"; flush stdout let read_notation () = - CicNotation2.load_notation ~include_paths:[] - (Helm_registry.get "search_engine.notations"); - CicNotation2.load_notation ~include_paths:[] - (Helm_registry.get "search_engine.interpretations") + ignore (CicNotation2.load_notation ~include_paths:[] + (Helm_registry.get "search_engine.notations")); + ignore (CicNotation2.load_notation ~include_paths:[] + (Helm_registry.get "search_engine.interpretations")) let _ = printf "%s started and listening on port %d\n" daemon_name port; -- 2.39.2