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

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