From 44bc6d1daac84a9b1fec774bdf36b173d05a57f0 Mon Sep 17 00:00:00 2001 From: malc Date: Tue, 25 Aug 2015 16:48:28 +0300 Subject: [PATCH] Cosmetics --- config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.ml b/config.ml index 239e62d..3b6f907 100644 --- a/config.ml +++ b/config.ml @@ -998,7 +998,7 @@ let config_of c attrs = | "false" -> None | f -> Some (float_of_string f) in - { c with maxwait = mw} + { c with maxwait = mw } | "highlight-links" -> { c with hlinks = bool_of_string v } | "under-cursor-info" -> { c with underinfo = bool_of_string v } | "vertical-margin" -> -- 2.11.4.GIT