Chore: Update rust-toolchain (#198)

- Applied cargo clippy --fix
egraphs-good · Aug 21, 2023 · cefd8bc · cefd8bc
1 parent d0544fe
commit cefd8bc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/rust-toolchain b/rust-toolchain
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.71.1"
diff --git a/src/termdag.rs b/src/termdag.rs
@@ -113,9 +113,7 @@ impl TermDag {
         let id = self.lookup(term);
         // use a stack to avoid stack overflow
         let mut stack = vec![id];
-        while !stack.is_empty() {
-            let next = stack.pop().unwrap();
-
+        while let Some(next) = stack.pop() {
             match self.nodes[next].clone() {
                 Term::App(name, children) => {
                     if seen.contains(&next) {