From bce045140be90c7aa798a68b4f74209045138b17 Mon Sep 17 00:00:00 2001
From: arthur-adjedj <arthur.adjedj@gmail.com>
Date: Tue, 1 Nov 2022 14:34:33 +0100
Subject: [PATCH] feat: add Declaration
---
parser/src/parser.rs | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/parser/src/parser.rs b/parser/src/parser.rs
index b24f7994..c4c917a3 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
--
GitLab