Apply suggestions

HigherOrderCO · Apr 4, 2024 · 3f9061b · 3f9061b
1 parent 1675931
commit 3f9061b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 9 deletions.
diff --git a/src/run/net.rs b/src/run/net.rs
@@ -41,8 +41,8 @@ impl<'h, M: Mode> Net<'h, M> {
 impl<'a, M: Mode> Net<'a, M> {
   /// Reduces at most `limit` redexes.
   ///
-  /// If normalized, returns Some(num redexes).
-  /// If stopped because the limit was reached, returns None.
+  /// If normalized, returns `Some(num_redexes)`.
+  /// If stopped because the limit was reached, returns `None`.
   #[inline(always)]
   pub fn reduce(&mut self, limit: usize) -> Option<usize> {
     assert!(!M::LAZY);

diff --git a/src/transform/pre_reduce.rs b/src/transform/pre_reduce.rs
@@ -67,14 +67,11 @@ impl Book {
 
     let mut not_normal = vec![];
     for (nam, state) in seen {
-      match state {
-        SeenState::Reduced { net, normal } => {
-          if !normal {
-            not_normal.push(nam.clone());
-          }
-          self.nets.insert(nam, net);
+      if let SeenState::Reduced { net, normal } = state {
+        if !normal {
+          not_normal.push(nam.clone());
         }
-        _ => {}
+        self.nets.insert(nam, net);
       }
     }