monads.ml tweak
authorJim Pryor <profjim@jimpryor.net>
Sun, 20 Feb 2011 14:10:00 +0000 (09:10 -0500)
committerJim Pryor <profjim@jimpryor.net>
Sun, 20 Feb 2011 14:10:00 +0000 (09:10 -0500)
commitec3295573e97fa652e7f917c971d9023fbe0addc
tree42b6050856bf390102b35ccad6aacfa00c8a8aee
parentac9bb9b364bba01ec8fe55fa9cf413d7400e8841
monads.ml tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/monads.ml