]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/searchEngine.ml
mathql query generator interface patched
[helm.git] / helm / searchEngine / searchEngine.ml
index ecedf5ab7635a24dcef27f968d41fb2b2f4b0215..ef4b1e0339cc6ad50eb71a01febf5ce9de1cc015 100644 (file)
@@ -592,7 +592,7 @@ List.iter (fun u -> prerr_endline ("<" ^ Netencoding.Url.decode u ^ ">")) tail;
                   constraints_choice_TPL;
                   raise Chat_unfinished)
             in
-            let query = MQueryGenerator.searchPattern must'' only' in
+            let query = MQueryGenerator.query_of_constraints None must'' only' in
            let results = MQueryInterpreter.execute mqi_handle query in 
             Http_daemon.send_basic_headers ~code:200 outchan ;
             Http_daemon.send_CRLF outchan ;