search

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

Remove unnecessary clone() calls #39

Open david-a-wheeler opened 3 years ago

david-a-wheeler commented 3 years ago

Remove unnecessary clone() calls; they take more time & removing them makes the code simpler.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com