diff --git a/parser/src/parser.rs b/parser/src/parser.rs
index b24f7994a909842c47b6d9d9f0d314fade883041..c4c917a3d37856b50fc80b912e73eed6ae887d8f 100644
--- a/parser/src/parser.rs
+++ b/parser/src/parser.rs
@@ -22,11 +22,7 @@ fn build_term_from_expr(
     match pair.as_rule() {
         Rule::Prop => Ok(Term::Prop),
         Rule::Type => Ok(Term::Type(
-            pair.into_inner()
-                .as_str()
-                .parse::<usize>()
-                .unwrap()
-                .into(),
+            pair.into_inner().as_str().parse::<usize>().unwrap().into(),
         )),
 
 /// build terms from errorless pest's output