tree 2ec7f85f5493818db470d40608d9a4bb76c1535d
parent fd970c8cd90e6c51cb3a703f1ed4e2859551dbb1
author Donna Dionne <donnadionne@google.com> 1588809913 -0700
committer Donna Dionne <donnadionne@google.com> 1588809913 -0700

Fixing a build error

A parameter has been removed, but the next PR merged cleanly while still
using the removed parameter.