Fix two 4.04.0 warnings that broke (Werr) the build (#36)
commit2eef75265f1e25f5e60a135bdcdf848fd316047d
authorTuncer Ayaz <tuncer.ayaz@gmail.com>
Sat, 12 Nov 2016 18:21:50 +0000 (12 19:21 +0100)
committermoosotc <moosotc@gmail.com>
Sat, 12 Nov 2016 18:21:50 +0000 (12 22:21 +0400)
tree5d5d29522100af1d0779ab75fa00273fc9c71bb5
parent9c7f8d4f4e7cf6c96b34703afd35b4d50302e21d
Fix two 4.04.0 warnings that broke (Werr) the build (#36)
config.ml
main.ml