DJ Delorie f8cef4d07d Fix cast-after-dereference
Original code was dereferencing a char*, then casting the value
to size_t.  Should cast the pointer to size_t* then deference.
2017-07-19 13:17:03 -04:00
..
2017-07-19 13:17:03 -04:00
2016-04-29 22:18:21 -04:00