fix Method overridden warnings
commit95a0f1423fa6d652ef0abf871bb8492084bde5ed
authorMark Oteiza <mvoteiza@udel.edu>
Sat, 26 Jul 2014 01:15:42 +0000 (25 21:15 -0400)
committermalc <av1474@comtv.ru>
Sat, 26 Jul 2014 03:10:49 +0000 (26 07:10 +0400)
tree2cd154bfa79d704db4441940ee12e2c23a00ed74
parentdcde068df3d4d8b1d7de8d74cb045e76771879b4
fix Method overridden warnings
main.ml