towards monads: tweak error message

[lambda.git] / towards_monads.mdwn

diff --git a/towards_monads.mdwn b/towards_monads.mdwn
index c8cbe21..378310f 100644 (file)
--- a/towards_monads.mdwn
+++ b/towards_monads.mdwn
@@ -36,7 +36,7 @@ val div' : int -> int -> int option = fun
 # div' (div' 12 3) 2;;
 Characters 4-14:
   div' (div' 12 3) 2;;
 # div' (div' 12 3) 2;;
 Characters 4-14:
   div' (div' 12 3) 2;;

-      ^^^^^^^^^^
+        ^^^^^^^^^^

 Error: This expression has type int option
        but an expression was expected of type int
 *)
 Error: This expression has type int option
        but an expression was expected of type int
 *)