On Mon, Jul 27, 2020 at 5:08 PM Karthik Bhargavan <karthikeyan.bhargavan@xxxxxxxx> 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 <Jason@xxxxxxxxx>
