remove normative "should" from <<override>> message
commit61b3e1ce89b0a720ec071fe1a3b058720e4fec2e
authorEugene Letuchy <eletuchy@fb.com>
Sat, 21 Jun 2014 06:14:10 +0000 (20 23:14 -0700)
committerfacebook-github-bot <githubbot@fb.com>
Mon, 23 Jun 2014 06:00:19 +0000 (22 23:00 -0700)
tree8fd63ce41911392c3c9f5180546a218c82d30394
parentc71826c74b77da2ff8030c1c2c96a5382d36324d
remove normative "should" from <<override>> message

Summary: It's possible that the way to resolve the error is to remove
 the <<Override>> marking. "marked as" is more "neutral" than.

Reviewed By: @jwatzman

Differential Revision: D1396750
hphp/hack/src/typing/typing_decl.ml
hphp/hack/test/typecheck/override_attr_01.php.exp
hphp/hack/test/typecheck/override_attr_04.php.exp
hphp/hack/test/typecheck/override_attr_06.php.exp