On Mon, Jul 27, 2020 at 5:08 PM Karthik Bhargavan <karthikeyan.bharga...@inria.fr> wrote: > > Removing unused variables is harmless. (GCC would do this automaticelly.) > So this change seems fine.
Thanks for confirming. Hopefully we can get that change upstream in HACL* too, so that the code comes out the same. Acked-by: Jason A. Donenfeld <ja...@zx2c4.com>
