chore(clippy): Add semicolon when nothing is returned (semicolon_if_nothing_returned)
parent
3b26d93a
No related branches found
No related tags found
Showing
- kernel/src/calculus/level.rs 5 additions, 5 deletionskernel/src/calculus/level.rs
- kernel/src/calculus/term.rs 9 additions, 9 deletionskernel/src/calculus/term.rs
- kernel/src/memory/level/mod.rs 7 additions, 7 deletionskernel/src/memory/level/mod.rs
- kernel/src/memory/term/mod.rs 2 additions, 2 deletionskernel/src/memory/term/mod.rs
- kernel/src/type_checker.rs 40 additions, 40 deletionskernel/src/type_checker.rs
- parser/src/parser.rs 8 additions, 5 deletionsparser/src/parser.rs
- proost/src/main.rs 41 additions, 2 deletionsproost/src/main.rs
- proost/src/rustyline_helper.rs 8 additions, 8 deletionsproost/src/rustyline_helper.rs
Loading
Please register or sign in to comment