Issue #2153 - fix 13.5.1 build after merge

Former-commit-id: a70fac10e48f1fc258a7756acb4d48560a54248d
This commit is contained in:
Bryan Kowal 2013-07-19 10:28:30 -05:00
parent cc7189fcb7
commit e9e3baa4df