Kill redundant line
commit1e7d6095dc044b97badc30d1ea9b5b1b9f3941e8
authormalc <moosotc@gmail.com>
Wed, 12 Jul 2017 04:49:23 +0000 (12 07:49 +0300)
committermalc <moosotc@gmail.com>
Wed, 12 Jul 2017 04:49:23 +0000 (12 07:49 +0300)
tree7b9a305801a545a0335b3124f44813459ffd9c7e
parent65a464addadf60cf034827dc9c1885808e0822e4
Kill redundant line
main.ml