X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FsearchEngine%2FsearchEngine.ml;fp=helm%2FsearchEngine%2FsearchEngine.ml;h=fc0fb9cbee4ec2af67bb77d7f2b12ccfc1f269c2;hp=1762e5fd9f161f4da5409a3526abbdcfd953da66;hb=978a25d9392e5fc1a19fa37c86339c5d0b67ddd6;hpb=36f71caeee72cb15185ecbc7644ed1da5c6f8186

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 1762e5fd9..fc0fb9cbe 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -459,8 +459,8 @@ let callback mqi_handle (req: Http_types.request) outchan =
                   interactive_interpretation_choice_TPL;
                 raise Chat_unfinished
 
-            let input_or_locate_uri ~title =
-              UriManager.uri_of_string "cic:/Coq/Init/DataTypes/nat_ind.con"
+            let input_or_locate_uri ~title ?id () =
+             assert false
 
           end
         in