Stop open coding existing nonemptystr
commitb7545ba39ea36e3e1f5792547ce09ea96c2f1b7b
authormalc <moosotc@gmail.com>
Fri, 7 Aug 2015 00:43:02 +0000 (7 03:43 +0300)
committermalc <moosotc@gmail.com>
Fri, 7 Aug 2015 00:43:02 +0000 (7 03:43 +0300)
tree64382ba7be8b0c34120da5186fb525eb36d36b3b
parent3b82ef35665ef956bf6d80d3af1ad63ceff827bf
Stop open coding existing nonemptystr
main.ml