fix: fix lint issues

ufmg-smite · Jan 18, 2024 · 7398610 · 7398610
1 parent bf53297
commit 7398610
Showing 1 changed file with 18 additions and 20 deletions.
diff --git a/carcara/src/checker/rules/strings.rs b/carcara/src/checker/rules/strings.rs
@@ -13,27 +13,25 @@ fn flatten(term: Rc<Term>, pool: &mut dyn TermPool) -> Vec<Rc<Term>> {
             s.chars()
                 .map(|c| pool.add(Term::Const(Constant::String(c.to_string())))),
         );
-    } else {
-        if let Some(args) = match_term!((strconcat ...) = term) {
-            for arg in args {
-                match arg.as_ref() {
-                    Term::Const(Constant::String(s)) => {
-                        flattened.extend(
-                            s.chars()
-                                .map(|c| pool.add(Term::Const(Constant::String(c.to_string())))),
-                        );
-                    }
-                    Term::Op(Operator::StrConcat, _) => {
-                        flattened.extend(flatten(arg.clone(), pool));
-                    }
-                    _ => {
-                        flattened.push(arg.clone());
-                    }
-                };
-            }
-        } else {
-            flattened.push(term.clone());
+    } else if let Some(args) = match_term!((strconcat ...) = term) {
+        for arg in args {
+            match arg.as_ref() {
+                Term::Const(Constant::String(s)) => {
+                    flattened.extend(
+                        s.chars()
+                            .map(|c| pool.add(Term::Const(Constant::String(c.to_string())))),
+                    );
+                }
+                Term::Op(Operator::StrConcat, _) => {
+                    flattened.extend(flatten(arg.clone(), pool));
+                }
+                _ => {
+                    flattened.push(arg.clone());
+                }
+            };
         }
+    } else {
+        flattened.push(term.clone());
     }
     flattened
 }