solve merge conflict
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 31 Oct 2011 18:31:42 +0000 (19:31 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 31 Oct 2011 18:31:42 +0000 (19:31 +0100)

Trivial merge