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