From eec68b7deed5396df14bd251127a96c46a868d06 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 11 Feb 2004 16:02:18 +0000
Subject: [PATCH] bugfix: auto_disambiguation is not considered for
 searchPatternApply

---
 helm/gTopLevel/gTopLevel.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index c0aa8e830..08e6e539a 100644
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -198,7 +198,7 @@ let
       (fun uri -> not (String.sub uri (String.length uri - 4) 4 = ".var"))
       uris)
  in
- if !auto_disambiguation then
+ if selection_mode <> `SINGLE && !auto_disambiguation then
   Lazy.force only_constant_choices
  else begin
    let choices = ref [] in
-- 
2.39.2