Silence an 'unused variable' warning.
authorKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 09:52:57 +0000 (10:52 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 09:52:57 +0000 (10:52 +0100)

No differences found