tree eaa8061078ecf4ae7be7e7fdf5dd5979268eb2e5
parent 19c5849229298121472fe9df2e5bc6527ed1de13
author Michael Schaffner <msf@google.com> 1652216399 -0700
committer tjaychen <timothytim@google.com> 1652280621 -0700

[otbn] Minor lint fix

Signed-off-by: Michael Schaffner <msf@google.com>