From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 3 Dec 2004 15:13:29 +0000 (+0000)
Subject: ported to universes
X-Git-Tag: V_0_1_0~171
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=301e61627dc24ebc027d5f2dd990f738a1ac65b7;p=helm.git

ported to universes
---

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 111c9b804..f3e73af46 100644
--- 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 =