fixing erroneous comment
commitdae813db74968e82df5af90a8ad75aca97b6abdd
authorVincent Siles <vsiles@fb.com>
Tue, 22 Oct 2019 10:37:42 +0000 (22 03:37 -0700)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 22 Oct 2019 10:39:45 +0000 (22 03:39 -0700)
tree75146b4a068a113bb125e5d7149d0d8a43067c36
parent09b0c5753c193874d15c600cb7db68e49deac259
fixing erroneous comment

Summary: Probably due to a copy/paste mistake, nothing fancy

Reviewed By: manzyuk

Differential Revision: D18058686

fbshipit-source-id: 09d2e6f24017ff49f31b2836842055f6e9d73d32
hphp/hack/src/typing/typing_env.ml