tree 42291357477e5e769731eec5131815705dd13353
parent 868f60b9bfbb394d113d50567da1977ec8afc890
author Randy Pan <zpan@google.com> 1467173725 -0700
committer Randy Pan <zpan@google.com> 1467173725 -0700

WCM: Fix a build error introduced by auto merger.

Change-Id: I808136d68263d0802fe0e00cc50d57fae3fcbe9b