Public Git Hosting - hiphop-php.git/commit

commit	b2b62478dcc826be2757335009d9b32c8a626491
author	Wilfred Hughes <wilfred@fb.com>
	Thu, 11 Mar 2021 20:26:25 +0000 (11 12:26 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Thu, 11 Mar 2021 20:30:13 +0000 (11 12:30 -0800)
tree	b3c6a3d0433bc3eb5ea0fd03796b5a92dc086c8e	tree \| snapshot (tar.gz zip)
parent	ded002ff0114a5e63721b23198eec143b289716d	commit \| diff

Remove unused function

Summary: This function is no longer used anywhere.

Differential Revision: D26953472

fbshipit-source-id: 3c10a02c823c749d29615759f61e75ba1ca37c08

hphp/hack/src/errors/error_codes.ml		diff \| blob \| blame \| history
hphp/hack/src/errors/errors.ml		diff \| blob \| blame \| history
hphp/hack/src/errors/errors.mli		diff \| blob \| blame \| history
hphp/hack/src/oxidized/gen/error_codes.rs		diff \| blob \| blame \| history