From b4b315107cdf15c1358512c78ebbb5b2c19e8455 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 6 Jan 2014 16:12:32 +0100
Subject: fix typo

---
 lib/future.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/future.ml b/lib/future.ml
index 191fc3fddc..b6cb498c61 100644
--- a/lib/future.ml
+++ b/lib/future.ml
@@ -22,7 +22,7 @@ let _ = Errors.register_handler (function
   | NotHere ->
       Pp.strbrk("The value you are asking for is not available "^
                 "in this process. If you really need this, pass "^
-                "the \"-async-proofs off\" option to CoqIDE to disable"^
+                "the \"-async-proofs off\" option to CoqIDE to disable "^
                 "asynchronous script processing.")
   | _ -> raise Errors.Unhandled)
 
-- 
cgit v1.2.3