nits

egraphs-good · Feb 3, 2025 · df21ada · df21ada
1 parent a9b6ba1
commit df21ada
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/dag_in_context/src/add_context.rs b/dag_in_context/src/add_context.rs
@@ -327,9 +327,9 @@ impl Expr {
                 body.add_ctx_with_cache(current_ctx, cache),
             )),
             Expr::Symbolic(s, ty) => RcExpr::new(Expr::Symbolic(s.clone(), ty.clone())),
-            Expr::DeadCode(subexpr) => {
-                RcExpr::new(Expr::DeadCode(subexpr.add_ctx_with_cache(current_ctx, cache)))
-            }
+            Expr::DeadCode(subexpr) => RcExpr::new(Expr::DeadCode(
+                subexpr.add_ctx_with_cache(current_ctx, cache),
+            )),
         };
         cache
             .with_ctx

diff --git a/dag_in_context/src/linearity.rs b/dag_in_context/src/linearity.rs
@@ -203,7 +203,7 @@ impl<'a> Extractor<'a> {
         let get_if_effectful = |this: &mut Extractor<'a>, expr: *const Expr| {
             let rcexpr = raw_to_rc.get(&expr).unwrap();
             if let Expr::Function(_name, _inp, _out, body) = rcexpr.as_ref() {
-                if this.is_effectful(&body) {
+                if this.is_effectful(body) {
                     return Some(rcexpr);
                 }
             } else if this.is_effectful(rcexpr) {