facebook/rocksdb — pull request #263 by wankai (2014-09-04 01:12:27+00:00)
Title: delete unused Comparator

delete Comparator declaration since not used.