From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 3 Jul 2006 16:32:26 +0000 (+0000)
Subject: when auto_close is set, use flush + shutdown instead of close_out, work around an... 
X-Git-Tag: make_still_working~7111
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=014181f92398c4935857568a1586113fac9d0e36;hp=014181f92398c4935857568a1586113fac9d0e36;p=helm.git

when auto_close is set, use flush + shutdown instead of close_out, work around an ocaml 3.09.2 bug
---