Don't destroy whitespace in files with "**/" in comments
commit2e2c07a681a7bce66e3164b428ce333cd7d56420
authorMike Qian <mqian@fb.com>
Fri, 19 Dec 2014 21:25:47 +0000 (19 13:25 -0800)
committerhhvm-bot <hhvm-bot@fb.com>
Fri, 19 Dec 2014 21:30:26 +0000 (19 13:30 -0800)
treec25a21953bad8e9f605692a9cb5184e6e581736b
parentb672655ce0cf345c2a83d0c0f7bbd905ed0e9849
Don't destroy whitespace in files with "**/" in comments

Summary: ** is lexed as exponentiation operator, which then results in unterminated comment, and everything breaks.

Reviewed By: @elgenie

Differential Revision: D1741716
hphp/hack/src/parsing/format_hack.ml