Public Git Hosting - hiphop-php.git/commit

commit	d8047ffd156f98cdf2fa7555fb44c9167dcd2a1d
author	Wilfred Hughes <wilfred@fb.com>
	Tue, 27 Sep 2022 19:12:52 +0000 (27 12:12 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 27 Sep 2022 19:12:52 +0000 (27 12:12 -0700)
tree	bb38c58f4ad4d2ab379ac28f6c49c70730b0c210	tree \| snapshot (tar.gz zip)
parent	ebaaecc0288cce42a6a55ccf6385558cf710dc82	commit \| diff

Fix missing word in docstring

Reviewed By: vsiles

Differential Revision: D39837570

fbshipit-source-id: 6cc2aa06a9816ab38971cb102599008b6945f085

hphp/hack/hhi/soundness.hhi		diff \| blob \| blame \| history
hphp/hack/test/hover/unsafe_cast.php.exp		diff \| blob \| blame \| history