fix Label omitted warnings
commitdcde068df3d4d8b1d7de8d74cb045e76771879b4
authorMark Oteiza <mvoteiza@udel.edu>
Sat, 26 Jul 2014 01:14:32 +0000 (25 21:14 -0400)
committermalc <av1474@comtv.ru>
Sat, 26 Jul 2014 03:10:38 +0000 (26 07:10 +0400)
treece06be750f8d1b060377143d571566d89640de8b
parent6ac08d2e27a7f82e83b35e6f8f09e64f999a56c6
fix Label omitted warnings
main.ml