Yanqin Jin 397495964b Fix a warning (treated as error) caused by type mismatch.
Summary: Closes https://github.com/facebook/rocksdb/pull/4032

Differential Revision: D8573061

Pulled By: riversand963

fbshipit-source-id: 112324dcb35956d6b3ec891073f4f21493933c8b
2018-06-21 11:13:09 -07:00
..
2017-12-01 10:42:05 -08:00
2017-08-03 15:56:46 -07:00
2018-01-29 12:56:42 -08:00
2017-12-01 10:42:05 -08:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-08-03 15:56:46 -07:00
2017-08-03 15:56:46 -07:00
2018-01-29 12:56:42 -08:00
2018-03-05 13:13:41 -08:00
2017-08-03 15:56:46 -07:00
2018-01-29 12:56:42 -08:00
2017-08-03 15:56:46 -07:00
2017-08-03 15:56:46 -07:00