From ef3a3fbefc2c3966f13701f36ff8021b8258f8a8 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Wed, 25 Jun 2014 18:34:11 +0400
Subject: [PATCH] Add missing space

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

diff --git a/main.ml b/main.ml
index 5f9739e..d92fb29 100644
--- a/main.ml
+++ b/main.ml
@@ -4495,7 +4495,7 @@ let enterselector usebookmarks =
 
 let enteroutlinemode =
   let f = enterselector false in
-  fun ()-> f "Document has no outline";
+  fun () -> f "Document has no outline";
 ;;
 
 let enterbookmarkmode =
-- 
2.11.4.GIT