Fix compilation with OCaml 4.03.0
commit30e77e2571b9b11065be16ca3b88e5f139fec9e5
authorBastien Dejean <nihilhill@gmail.com>
Sun, 24 Jul 2016 09:44:53 +0000 (24 11:44 +0200)
committerygrek <ygrek@autistici.org>
Mon, 23 Jan 2017 01:25:00 +0000 (22 17:25 -0800)
tree887e5f95da9fa9190af7108fc6dda8e37dcb1f70
parent05d5be44a1d62de238dd5119022810823a5a81d8
Fix compilation with OCaml 4.03.0
src/networks/donkey/donkeyGlobals.ml
src/utils/cdk/zip.ml
src/utils/lib/options.ml4