Get search/ to use Core
commit271c1b26aff97ac3d9b52c61da650b7983b032f6
authorJez Ng <jezng@fb.com>
Mon, 3 Aug 2015 23:07:14 +0000 (3 16:07 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Tue, 4 Aug 2015 04:22:06 +0000 (3 21:22 -0700)
tree79c8a0826e0742d1f6f00efd68c975c7a0250466
parent200987fc2c937532d57e69664d8bd175c142e384
Get search/ to use Core

Reviewed By: @dabek

Differential Revision: D2303980
hphp/hack/src/search/fuzzySearchService.ml
hphp/hack/src/search/hackSearchService.ml
hphp/hack/src/search/searchService.ml
hphp/hack/src/search/trieSearchService.ml