towards monads tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/towards_monads.mdwn b/towards_monads.mdwn
index acdfbb3..c8cbe21 100644 (file)
--- a/towards_monads.mdwn
+++ b/towards_monads.mdwn
@@ -84,7 +84,7 @@ let div' (u:int option) (v:int option) =
 
 So far so good.  But what if we want to combine division with
 other arithmetic operations?  We need to make those other operations
 
 So far so good.  But what if we want to combine division with
 other arithmetic operations?  We need to make those other operations

-aware of the possibility that one of their arguments will trigger a
+aware of the possibility that one of their arguments has triggered a

 presupposition failure:
 
 <pre>
 presupposition failure:
 
 <pre>