-> Small patch to fix a compile error ("'ptrdiff_t' does not name a type") on the latest GCC versions
Authored by: raoul 2011-07-03
Parent: [r2210]
Child: [r2212]