From 811fa1ac7686fcadd0655b4efd696fd03501cef9 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Tue, 25 Feb 2014 03:36:34 +0400
Subject: [PATCH] Kill stray space

---
 wsi.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wsi.ml b/wsi.ml
index c5be674..6c9fb0b 100644
--- a/wsi.ml
+++ b/wsi.ml
@@ -991,7 +991,7 @@ let getauth haddr dnum =
 
       vlog "family %S addr %S(%S) num %S(%d) name %S data %S"
         family addr haddr nums dnum name data;
-      match optnum  with
+      match optnum with
       | Some num when addr = haddr && num = dnum ->
           name, data
       | _ -> find ()
-- 
2.11.4.GIT