clippy

flux-rs · Dec 5, 2024 · ce75111 · ce75111
1 parent 5a6f6e8
commit ce75111
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/crates/flux-infer/src/refine_tree.rs b/crates/flux-infer/src/refine_tree.rs
@@ -740,7 +740,7 @@ mod pretty {
                         match &n.kind {
                             NodeKind::Root(bindings) => {
                                 for (name, sort) in bindings {
-                                    f(&format_args_cx!("{:?}: {:?}", ^name, sort))?
+                                    f(&format_args_cx!("{:?}: {:?}", ^name, sort))?;
                                 }
                                 Ok(())
                             }

diff --git a/lib/liquid-fixpoint/src/lib.rs b/lib/liquid-fixpoint/src/lib.rs
@@ -239,7 +239,6 @@ impl<T: Types> KVarDecl<T> {
 }
 
 #[derive(Serialize, Deserialize)]
-// struct ErrorInner<'a>(i32, &'a str);
 struct ErrorInner(i32, String);
 
 impl<Tag: ToString> Serialize for Error<Tag> {