Patched warning issued on SGI by Stephane.Conversy@lri.fr, Daniel.
6 files changed