X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fgsv2.ml;fp=code%2Fgsv2.ml;h=b7f044b459c5a72850bf60fd31d566dd6c8e8fe2;hp=8a9c13728ad4699bdd02beb3ea0e3abb109e68bf;hb=daeb5d67207436ec5179e59098c11fe4b5525685;hpb=d377c75972d3c853a881da505aa129eb7d363186

diff --git a/code/gsv2.ml b/code/gsv2.ml
index 8a9c1372..b7f044b4 100644
--- a/code/gsv2.ml
+++ b/code/gsv2.ml
@@ -1021,7 +1021,7 @@ module Sem8f = struct
      [topic] as our payloads, so that sent types would then be: [topic] -> S'Y([topic]). All of the operations except
      for `maybe` would then have to emulate the operations of the List monad by hand (manually performing catmap etc).
      But `maybe` could examine the [topic] as a whole and decide whether to return box(it) or box([]).
-     This would be to go back to the Sem4/Sem5 choices of monads (without list), and to implement the handling of lists
+     This would be to go back to the Sem5/Sem6 choices of monads (without list), and to implement the handling of lists
      by hand, as we did in the Sem1/Sem2 strategies.
 
      Additionally, we haven't tried here to handle non-rigid noun-types. That's why we can have sent types be: