From d2a9e9b78b214663fb0e21eed95b21c5ab7119c6 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 --- daemons/whelp/searchEngine.ml | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/daemons/whelp/searchEngine.ml b/daemons/whelp/searchEngine.ml index e1e08bd4b..fc4911619 100644 --- a/daemons/whelp/searchEngine.ml +++ b/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