On Mon, Jul 27, 2020 at 5:08 PM Karthik Bhargavan <[email protected]> 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 <[email protected]>
