tree a1371f64280a94a3db79e15ddbd3e992af20b275
parent 5b6a1420169f39cd88b4917f43873876e45fe7c2
author Brian Wilkerson <brianwilkerson@google.com> 1544130727 -0800
committer Brian Wilkerson <brianwilkerson@google.com> 1544130727 -0800

Remove an unnecessary and problematic cast