Docs: remove redundant text in Lwt_result summary

[skip ci]
ocsigen · Apr 8, 2017 · a05be1e · a05be1e
1 parent 3597ada
commit a05be1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/lwt_result.mli b/src/core/lwt_result.mli
@@ -20,7 +20,7 @@
  * 02111-1307, USA.
  *)
 
-(** Module [Lwt_result]: explicit error handling *)
+(** Explicit error handling *)
 
 (** This module provides helpers for values of type [('a, 'b) result Lwt.t].
     The module is experimental and may change in the future. *)