bugfix on Alina's behalf
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 13 Jul 2012 07:12:02 +0000 (09:12 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 13 Jul 2012 07:12:02 +0000 (09:12 +0200)
commit21f686f6d959ead437bf63356c81c0419c5a4e1b
tree521965be0ed04da9ed99f49eb5472f196d619f13
parentb74d9e41fc8df2720c8a4a52f2f10926ed4ec818
bugfix on Alina's behalf