Public Git Hosting - hiphop-php.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 01dd98c) | patch

commit	e0b47782f315033ddb68b6c3f10417a8d1a7c407
author	Jez Ng <jezng@fb.com>
	Thu, 17 Mar 2016 06:05:45 +0000 (16 23:05 -0700)
committer	Hhvm Bot <hhvm-bot-bot@fb.com>
	Thu, 17 Mar 2016 06:30:50 +0000 (16 23:30 -0700)
tree	167e94b1f523ba84dd055edb4965822fe98bd3b6	tree \| snapshot (tar.gz zip)
parent	01dd98cdb490869ad361403a70d3b6f95757cd03	commit \| diff

Fix up emitter for OSS build

Reviewed By: dlreeves

Differential Revision: D3062526

fb-gh-sync-id: 7ec6b7da3deba3243f3621b84b6b196f7e2fe7cb
shipit-source-id: 7ec6b7da3deba3243f3621b84b6b196f7e2fe7cb

hphp/hack/src/emitter/emitter.ml		diff \| blob \| blame \| history
hphp/hack/src/hh_emitter.ml		diff \| blob \| blame \| history