Don't use !ref_from
commit7e2924e0efd23070e55b690380ffdbdea69f2c19
authorLucian Wischik <ljw@fb.com>
Tue, 3 Mar 2020 02:48:23 +0000 (2 18:48 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 3 Mar 2020 03:04:29 +0000 (2 19:04 -0800)
treea66e0eb3d855ebb8fe3811f69758c1ddd0a9366b
parentafe40d04a3857fd965bfa994a18250e1cc825ff9
Don't use !ref_from

Summary: Trivial diff. We don't need to use a mutable global for !ref_from. We already pass env around everywhere that it's needed.

Reviewed By: arxanas

Differential Revision: D20181052

fbshipit-source-id: 7c59b5d962acc4ec4eabe0f33c52ae4d137cf279
hphp/hack/src/client/clientLsp.ml