Remove dead include_search_paths field of Options
commitb36f70659d3b2c97d7a3829489e36c7519811273
authorKaty Voor <voork@meta.com>
Tue, 15 Nov 2022 06:13:23 +0000 (14 22:13 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 15 Nov 2022 06:13:23 +0000 (14 22:13 -0800)
tree97fc096748a70ab8f000fc9fda89205af0f136cf
parent6d62edb7391e21e09974bffe0a4af7316f2ef09f
Remove dead include_search_paths field of Options

Summary: `include_search_paths` not used anywhere

Reviewed By: aorenste

Differential Revision: D41142730

fbshipit-source-id: 3ce781636290b17deb7602640f258fc46c781cfa
hphp/hack/src/hackc/compile/options.rs