Deal with a warning that was not caught without -warn-error a
commit62d79b0ded70b5f535c0ef7e11c479910af7a56f
authormalc <moosotc@gmail.com>
Mon, 9 Apr 2018 01:03:55 +0000 (9 04:03 +0300)
committermalc <moosotc@gmail.com>
Mon, 9 Apr 2018 01:03:55 +0000 (9 04:03 +0300)
treec3a2602be6ddeb477eff5e8f6e5148dff06a0a97
parenta8f7340f3a5787671386382aa8b3396d57961344
Deal with a warning that was not caught without -warn-error a
config.ml