From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2017 18:01:47 +0000 (+0100)
Subject: strange bug-fix to allow compilation on recent ocaml+camlp5o
X-Git-Tag: make_still_working~387
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5cf3909277c1d813bc1d7571f866efc9d7b2699d;hp=5cf3909277c1d813bc1d7571f866efc9d7b2699d;p=helm.git

strange bug-fix to allow compilation on recent ocaml+camlp5o
---