X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week7.mdwn;h=62ef89f0ab8b7a2faa8fecf83aa141963d523a54;hp=812f0496194160a66ec5fef774a848be07e2cc4d;hb=7834e35d4a2de390ce6a1e9113186dcbb9c07a6f;hpb=5eb5b091a62e66068007e326cc97ea1faaad2960

diff --git a/week7.mdwn b/week7.mdwn
index 812f0496..62ef89f0 100644
--- a/week7.mdwn
+++ b/week7.mdwn
@@ -190,7 +190,7 @@ though without explicitly using monads.
 
 All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
 To run it, download the file, start Ocaml, and say `# #use
-"intensionality-monad.ml"`. 
+"intensionality-monad.ml";;`. 
 
 Here's the idea: since people can have different attitudes towards
 different propositions that happen to have the same truth value, we