diff options
| author | Enrico Tassi | 2014-01-06 16:12:32 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-06 16:55:35 +0100 |
| commit | b4b315107cdf15c1358512c78ebbb5b2c19e8455 (patch) | |
| tree | 7fa106d8a277834ecdac93cdb2c4852fb5c13fac | |
| parent | 183a35d7b6eaaa377ecda21d32b3bf183ecea9dd (diff) | |
fix typo
| -rw-r--r-- | lib/future.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |