X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fintensionality-monad.ml;fp=code%2Fintensionality-monad.ml;h=b5dc9f52cd90c64b893f882ac3fc3ba8982d8168;hp=dc1314710098692e0dec6de322a68e11173565df;hb=34bdd67906c7529660a35340f2eb5740d6beb3b3;hpb=356cd0ed65c71922aecc155ddab88896c4e0629d

diff --git a/code/intensionality-monad.ml b/code/intensionality-monad.ml
index dc131471..b5dc9f52 100644
--- a/code/intensionality-monad.ml
+++ b/code/intensionality-monad.ml
@@ -1,4 +1,4 @@
-(* This is the intensionality monad discussed in the lecture notes for week 7. *)
+(* This is the intensionality monad discussed in the lecture notes for week 8. *)
 
 type s = int;; (* integers model possible worlds *)
 type e = char;; (* chars model individuals *)