tree 5c16cc88c21cb5cfc124e2c315c064a6497a78be
parent c14eeb7989562b1be62130417e564a979f948e69
author Debargha Mukherjee <debargha@google.com> 1522117195 -0700
committer Debargha Mukherjee <debargha@google.com> 1522165980 +0000

Some cosmetic renaming for consistency

Change-Id: I083bb9fa7a861eb0b37405166393ff0daca5589d