use _arch and not arch that is undefined
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 25 Jan 2010 22:35:24 +0000 (22:35 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 25 Jan 2010 22:35:24 +0000 (22:35 +0000)

No differences found