----- Original Message -----
Thank you for your comments.If I rename some function when I work on a large
project like git,whether it will cause other error that I can not solve .So
I use the ugly way for this reason.
(please, don't top-post on this list).
The read_directory to be renamed is a static function, called twice. I don't see any reason not to rename it.
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/