anand76 5265c5709e Remove a couple of non-public includes from public header file (#5219) ...

Summary:
Cleanup a couple of stray includes left by #5011.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5219

Differential Revision: D15007244

Pulled By: anand1976

fbshipit-source-id: 15ca1d4f977b5b60e99df3bfb8fc3db217d19bdd

2019-04-19 11:10:33 -07:00

..

rocksdb

Remove a couple of non-public includes from public header file (#5219)

2019-04-19 11:10:33 -07:00