rust: Replaces return an empty tuple by nothing (void).

The cargo clippy reports as an issue returning an empty tuple and recommends remove it. Extracted rust files are updated. [1] https://rust-lang.github.io/rust-clippy/master/index.html#/unused_unit/
mit-plv · Oct 1, 2023 · da772fe · da772fe
1 parent 08c339c
commit da772fe
Show file tree

Hide file tree

Showing 29 changed files with 448 additions and 448 deletions.
diff --git a/fiat-rust/src/curve25519_32.rs b/fiat-rust/src/curve25519_32.rs
diff --git a/fiat-rust/src/curve25519_64.rs b/fiat-rust/src/curve25519_64.rs