ported to universes

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 111c9b804400d4f555c105b3bbfcd82dc0223258..f3e73af4686380a1a702b615aef30c05dec0dc4c 100644 (file)
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -273,7 +273,7 @@ let exec_action dbd (req: Http_types.request) outchan =
     match
       Disambiguate'.disambiguate_term dbd context metasenv ast id_to_uris
     with
-    | [id_to_uris,metasenv,term] -> id_to_uris,metasenv,term
+    | [id_to_uris,metasenv,term,_] -> id_to_uris,metasenv,term
     | _ -> assert false
   in
   let uris =