From: denes <??>
Date: Tue, 14 Jul 2009 14:36:56 +0000 (+0000)
Subject: Fixed Option type error (OCaml bug)
X-Git-Tag: make_still_working~3683
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f8830ea7f8b308241d73e558092089a24ab2f867;hp=f8830ea7f8b308241d73e558092089a24ab2f867;p=helm.git

Fixed Option type error (OCaml bug)
---