Matthias Krüger 6ef8648a48 more clippy fixes: clippy::{iter_cloned_collect, unwarp_or_else_default, option_map_or_none}

2023-04-16 12:45:51 +02:00

..

tree

…

dfa.rs

…

mod.rs

…

nfa.rs

…

tree.rs

more clippy fixes: clippy::{iter_cloned_collect, unwarp_or_else_default, option_map_or_none}

2023-04-16 12:45:51 +02:00