Consistency
commit36241db5eb103d02db5951309698fc3729ea7e7e
authormalc <moosotc@gmail.com>
Sat, 26 May 2018 13:12:16 +0000 (26 16:12 +0300)
committermalc <moosotc@gmail.com>
Sat, 26 May 2018 13:12:16 +0000 (26 16:12 +0300)
tree0ac82ba2703ec8498b5d1c8879608dc1c110a14d
parent41e8feb1cc5982ed169372cf9910745e55e2f2b8
Consistency
utils.ml