From 96db4b910dedb32abd97523c0476ba3255d80ee7 Mon Sep 17 00:00:00 2001 From: Jim Date: Wed, 15 Apr 2015 15:42:05 -0400 Subject: [PATCH] typo in gsv2.ml --- code/gsv2.ml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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 -- 2.11.0