From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 27 Sep 2019 13:55:14 +0000 (+0200)
Subject: porting to recent ocaml
X-Git-Tag: make_still_working~229^2~1^2~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f00a612006ac05f49a42ab507a95d3298bc1457a;hp=f00a612006ac05f49a42ab507a95d3298bc1457a;p=helm.git

porting to recent ocaml
---