Fix Search query in CoqIDE.

For some reason the code was just doing random stuff that did not make
sense.

1 files changed, 3 insertions, 3 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index aa816f2b8b..f5ff08998b 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1106,15 +1106,15 @@ let build_ui () =
   ];
   alpha_items templates_menu "Template" Coq_commands.commands;
 
-  let qitem s sc ?(dots = true) =
-    let query = if dots then s ^ "..." else s in
+  let qitem s sc =
+    let query = s ^ "..." in
     item s ~label:("_"^s)
       ~accel:(modifier_for_queries#get^sc)
       ~callback:(Query.query query)
   in
   menu queries_menu [
     item "Queries" ~label:"_Queries";
-    qitem "Search" "K" ~dots:false;
+    qitem "Search" "K";
     qitem "Check" "C";
     qitem "Print" "P";
     qitem "About" "A";