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
-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>