Delete f_mtime field from Ast.fun
commit5ac13163e1aadd6eceff3e336cda6911a2de357e
authorDwayne Reeves <dreeves@fb.com>
Tue, 5 Apr 2016 17:46:48 +0000 (5 10:46 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Tue, 5 Apr 2016 18:00:37 +0000 (5 11:00 -0700)
tree9376e8357a9455787781fb9fd4c6d7914a3b4075
parent8b182f51e0e9a76da58c9891e44b1a4a9b257bc8
Delete f_mtime field from Ast.fun

Summary:The `f_mtime` field in the `Ast.fun` record is not referred to anywhere in a
meaningful way so I'm removing it.

Reviewed By: int3

Differential Revision: D3136606

fb-gh-sync-id: c138b546ec1ad14c7b282065eb39dc323a3b4b3f
fbshipit-source-id: c138b546ec1ad14c7b282065eb39dc323a3b4b3f
hphp/hack/src/h2tp/mapper/map_ast.ml
hphp/hack/src/h2tp/unparser/unparser.ml
hphp/hack/src/parsing/ast.ml
hphp/hack/src/parsing/parser_hack.ml