Remove unused variable
commita442f1bc77f9e4a79424f032be459f7ef0957830
authormalc <av1474@comtv.ru>
Wed, 27 Oct 2010 22:23:39 +0000 (28 02:23 +0400)
committermalc <av1474@comtv.ru>
Wed, 27 Oct 2010 22:23:39 +0000 (28 02:23 +0400)
tree65f08993250f3283c093fc2982e1565c43ab85f9
parentc82921e9657af56fe05c9cf46fbb64dfdf0ae0fd
Remove unused variable
main.ml