X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FsearchEngine.ml;h=ef4b1e0339cc6ad50eb71a01febf5ce9de1cc015;hb=4c9da07604c4f8b66e4e92861ee38129422d23fb;hp=ecedf5ab7635a24dcef27f968d41fb2b2f4b0215;hpb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;p=helm.git

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index ecedf5ab7..ef4b1e033 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -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 ;