ups

flux-rs · Dec 6, 2024 · c545c46 · c545c46
1 parent e9908a5
commit c545c46
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/crates/flux-middle/src/rty/expr.rs b/crates/flux-middle/src/rty/expr.rs
@@ -119,9 +119,7 @@ impl ESpan {
     }
 }
 
-#[derive(
-    Debug, Clone, PartialEq, Eq, Hash, TyEncodable, TyDecodable, TypeFoldable, TypeVisitable,
-)]
+#[derive(Clone, PartialEq, Eq, Hash, TyEncodable, TyDecodable, TypeFoldable, TypeVisitable)]
 pub enum BinOp {
     Iff,
     Imp,
@@ -1146,7 +1144,6 @@ mod pretty {
                 }
             }
             let e = if cx.simplify_exprs { self.simplify() } else { self.clone() };
-            // w!("{:?}@(", ^e.span())?;
             match e.kind() {
                 ExprKind::Var(var) => w!("{:?}", var),
                 ExprKind::Local(local) => w!("{:?}", ^local),
@@ -1256,9 +1253,7 @@ mod pretty {
                         w!("{:?}", expr.as_ref().skip_binder())
                     })
                 }
-            }?;
-            // w!(")")
-            Ok(())
+            }
         }
     }