tree 1e3bb9ef1c0f88f4ab2ec3adf4de4d5183e00282
parent 391bfb4a0649cfc15cfaa50670314737e091e773
author Paul Wilkins <paulwilkins@google.com> 1572971335 +0000
committer Paul Wilkins <paulwilkins@google.com> 1572977215 +0000

Remove currently unused variable.

Boost score not currently used in define_gf_group.

Change-Id: Ie166d3ee186b179147c84218dc0cab251b2ebb36