tweak intensionality.ml

[lambda.git] / code / intensionality-monad.ml

diff --git a/code/intensionality-monad.ml b/code/intensionality-monad.ml
index dc13147..b5dc9f5 100644 (file)
--- 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 *)