From: Jim <jim.pryor@nyu.edu>
Date: Wed, 15 Apr 2015 19:42:05 +0000 (-0400)
Subject: typo in gsv2.ml
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=96db4b910dedb32abd97523c0476ba3255d80ee7

typo in gsv2.ml
---

diff --git a/code/gsv2.ml b/code/gsv2.ml
index b7f044b4..7f2775a7 100644
--- a/code/gsv2.ml
+++ b/code/gsv2.ml
@@ -1053,21 +1053,21 @@ module TestAll = struct
   print_endline "\nTesting Sem1b";;
   module T1b = Test(Sem1b);;
   print_endline "\nTesting Sem3a";;
-  module T2a = Test(Sem3a);;
+  module T3a = Test(Sem3a);;
   print_endline "\nTesting Sem3c";;
-  module T2c = Test(Sem3c);;
+  module T3c = Test(Sem3c);;
   print_endline "\nTesting Sem4a";;
-  module T3a = Test(Sem4a);;
+  module T4a = Test(Sem4a);;
   print_endline "\nTesting Sem4c";;
-  module T3c = Test(Sem4c);;
+  module T4c = Test(Sem4c);;
   print_endline "\nTesting Sem7c";;
-  module T5c = Test(Sem7c);;
+  module T7c = Test(Sem7c);;
   print_endline "\nTesting Sem7f";;
-  module T5e = Test(Sem7f);;
+  module T7f = Test(Sem7f);;
   print_endline "\nTesting Sem8c";;
-  module T6c = Test(Sem8c);;
+  module T8c = Test(Sem8c);;
   print_endline "\nTesting Sem8f";;
-  module T6e = Test(Sem8f);;
+  module T8f = Test(Sem8f);;
   print_newline ()
 end