From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 19 Nov 2005 15:38:19 +0000 (+0000)
Subject: Wrong reported error message fixed.
X-Git-Tag: V_0_7_2_3~27
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f5916a7ca7e58c6a3617531e8dbba81d018eb024;hp=f5916a7ca7e58c6a3617531e8dbba81d018eb024;p=helm.git

Wrong reported error message fixed.
---