From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2017 18:06:07 +0000 (+0100)
Subject: patch to make it compile with recent OCaml versions
X-Git-Tag: make_still_working~386
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=d3a143f3edce2a255c449526e0ecf85435a6bad4;hp=d3a143f3edce2a255c449526e0ecf85435a6bad4

patch to make it compile with recent OCaml versions
---