From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 11 Jul 2003 10:01:05 +0000 (+0000)
Subject: Bug fixed: the value of parameters must be valid XPath string literals ==>
X-Git-Tag: camera_ready~16
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=b5eca1fff4476831847825aa46ce149924d1c8c0;hp=b5eca1fff4476831847825aa46ce149924d1c8c0;p=helm.git

Bug fixed: the value of parameters must be valid XPath string literals ==>
they can not contain both ' and " (at least in Veillard interpretation, of
course ;-)

The fix applied consist in accepting parameters with only ' or only " inside
by quoting them using the opposite quote. As a consequence, variable
values with just 's inside are now handled correctly.
---