From 4d02977fefd65a2fbb4516c9bfac144274daddb8 Mon Sep 17 00:00:00 2001
From: arthur-adjedj <arthur.adjedj@gmail.com>
Date: Tue, 27 Dec 2022 12:45:24 +0100
Subject: [PATCH] chore(clippy): clippy
---
kernel/src/calculus/term.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/kernel/src/calculus/term.rs b/kernel/src/calculus/term.rs
index 14c71db4..ae32fd5d 100644
--- a/kernel/src/calculus/term.rs
+++ b/kernel/src/calculus/term.rs
@@ -360,7 +360,7 @@ mod tests {
assert_eq!(app.beta_reduction(arena), reduced);
assert_eq!(app.whnf(arena), reduced);
- })
+ });
}
#[test]
--
GitLab