fix typo
authorroot <root@blitz.inria.fr>
Fri, 9 Jul 2010 17:48:34 +0000 (19:48 +0200)
committerroot <root@blitz.inria.fr>
Fri, 9 Jul 2010 17:48:34 +0000 (19:48 +0200)
commitec40dfe668bf865a84b0168dde534f1845bbbf0f
tree5b594d7fc9197a4bbbc87b724ed613f94dad9d77
parentfe0a87a1562997ff4c406cabee276c5a0de73490
parentdddd34837a02513057973022326df0bd2674e451
fix typo