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

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 7, 2023 · 6d981bc · 6d981bc
1 parent bc8bace
commit 6d981bc
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