recompile salsa20.c to update debug information

GaloisInc · Jul 19, 2021 · 0ffefe0 · 0ffefe0
1 parent 6ef2c2e
commit 0ffefe0
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/examples/salsa20/salsa20.bc b/examples/salsa20/salsa20.bc