typo

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

2 files changed, 3 insertions, 3 deletions

diff --git a/Changes b/Changes
index 04ea2d4f59..7609e2bec7 100644
--- a/Changes
+++ b/Changes
@@ -160,7 +160,7 @@ Language features:
   Using the -principal option guarantees forward compatibility.
 - New (module M) and (module M : S) syntax in patterns, for immediate
   unpacking of a first-class module.
-- Monadic notation with let! syntax. Expects standard `bind', `ret'
+- Monadic notation with let* syntax. Expects standard `bind', `ret'
   and `fail' bound in current environment. Supports irrefutable
   patterns with default fail interface, where failing argument can be
   defined in with clause. Supports direct optimisations of the created
diff --git a/testsuite/tests/monadic-let/monadic_let.ml b/testsuite/tests/monadic-let/monadic_let.ml
index a43345d3b0..e3e3e3b4e7 100644
--- a/testsuite/tests/monadic-let/monadic_let.ml
+++ b/testsuite/tests/monadic-let/monadic_let.ml
@@ -13,13 +13,13 @@
 module IdentityMonad = struct
   let bind x f = f x
   let ret x = x
-  let fail x = ret
+  let fail s = failwith s
 end
 
 module ListMonad = struct
   let bind x f = f x
   let ret x = x
-  let fail x = ret
+  let fail s = failwith s
 end
 
 module ExceptionMonad = struct