projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
edits
[lambda.git]
/
code
/
gsv2.ml
diff --git
a/code/gsv2.ml
b/code/gsv2.ml
index
b7f044b
..
7f2775a
100644
(file)
--- 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";;
print_endline "\nTesting Sem1b";;
module T1b = Test(Sem1b);;
print_endline "\nTesting Sem3a";;
- module T
2
a = Test(Sem3a);;
+ module T
3
a = Test(Sem3a);;
print_endline "\nTesting Sem3c";;
print_endline "\nTesting Sem3c";;
- module T
2
c = Test(Sem3c);;
+ module T
3
c = Test(Sem3c);;
print_endline "\nTesting Sem4a";;
print_endline "\nTesting Sem4a";;
- module T
3
a = Test(Sem4a);;
+ module T
4
a = Test(Sem4a);;
print_endline "\nTesting Sem4c";;
print_endline "\nTesting Sem4c";;
- module T
3
c = Test(Sem4c);;
+ module T
4
c = Test(Sem4c);;
print_endline "\nTesting Sem7c";;
print_endline "\nTesting Sem7c";;
- module T
5
c = Test(Sem7c);;
+ module T
7
c = Test(Sem7c);;
print_endline "\nTesting Sem7f";;
print_endline "\nTesting Sem7f";;
- module T
5e
= Test(Sem7f);;
+ module T
7f
= Test(Sem7f);;
print_endline "\nTesting Sem8c";;
print_endline "\nTesting Sem8c";;
- module T
6
c = Test(Sem8c);;
+ module T
8
c = Test(Sem8c);;
print_endline "\nTesting Sem8f";;
print_endline "\nTesting Sem8f";;
- module T
6e
= Test(Sem8f);;
+ module T
8f
= Test(Sem8f);;
print_newline ()
end
print_newline ()
end