clippy complaints

calyxir · Nov 10, 2024 · a9791c4 · a9791c4
1 parent e75a717
commit a9791c4
Showing 1 changed file with 9 additions and 10 deletions.
diff --git a/interp/src/flatten/structures/environment/program_counter.rs b/interp/src/flatten/structures/environment/program_counter.rs
@@ -96,24 +96,23 @@ impl ControlPoint {
                 _ => {}
             };
             // At root, at end to process logic above.
-            if string_path == String::from("") {
-                string_path = string_path + ".";
+            if string_path == "" {
+                string_path += ".";
                 continue;
             }
             let control_type = if body {
                 body = false;
                 count = -1;
                 String::from("b")
+            } else if if_branches.contains_key(&control_idx) {
+                let (_, branch) =
+                    if_branches.get_key_value(&control_idx).unwrap();
+                branch.clone()
             } else {
-                if if_branches.contains_key(&control_idx) {
-                    let (_, branch) =
-                        if_branches.get_key_value(&control_idx).unwrap();
-                    branch.clone()
-                } else {
-                    count += 1;
-                    count.to_string()
-                }
+                count += 1;
+                count.to_string()
             };
+
             string_path = string_path + "-" + &control_type;
         }
         string_path