From 1e7d6095dc044b97badc30d1ea9b5b1b9f3941e8 Mon Sep 17 00:00:00 2001
From: malc <moosotc@gmail.com>
Date: Wed, 12 Jul 2017 07:49:23 +0300
Subject: [PATCH] Kill redundant line

---
 main.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/main.ml b/main.ml
index aab3821..6ecdecd 100644
--- a/main.ml
+++ b/main.ml
@@ -2846,10 +2846,9 @@ object (self)
 
     | Ascii _ | Code _ ->
        let utf8 =
-         match [@warning "-4"] kt with
+         match [@warning "-8"] kt with
          | Ascii c -> String.make 1 c
          | Code code -> toutf8 code
-         | _ -> assert false
        in
        let pattern = m_qsearch ^ utf8 in
        let active, first =
-- 
2.11.4.GIT