From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 30 Apr 2008 21:38:26 +0000 (+0000)
Subject: stupid error fixed
X-Git-Tag: make_still_working~5271
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=67dd51c6c9ceb0186490033d77769d49404964ac;hp=67dd51c6c9ceb0186490033d77769d49404964ac;p=helm.git

stupid error fixed
---