From e9908a5b1e7d2361002a6eadd0b9eb4460320d08 Mon Sep 17 00:00:00 2001
From: Nico Lehmann <nico.lehmannm@gmail.com>
Date: Fri, 6 Dec 2024 09:08:37 -0800
Subject: [PATCH] ASdf

---
 crates/flux-infer/src/refine_tree.rs   | 2 +-
 crates/flux-refineck/src/invariants.rs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/crates/flux-infer/src/refine_tree.rs b/crates/flux-infer/src/refine_tree.rs
index c6e6b4da13..f6295ff065 100644
--- a/crates/flux-infer/src/refine_tree.rs
+++ b/crates/flux-infer/src/refine_tree.rs
@@ -235,7 +235,7 @@ impl RefineTree {
     }
 
     pub fn simplify(&mut self, defns: &SpecFuncDefns) {
-        self.root.borrow_mut().simplify(defns)
+        self.root.borrow_mut().simplify(defns);
     }
 
     pub fn into_fixpoint(self, cx: &mut FixpointCtxt<Tag>) -> QueryResult<fixpoint::Constraint> {
diff --git a/crates/flux-refineck/src/invariants.rs b/crates/flux-refineck/src/invariants.rs
index be5553b37b..bc11b6f86f 100644
--- a/crates/flux-refineck/src/invariants.rs
+++ b/crates/flux-refineck/src/invariants.rs
@@ -1,7 +1,7 @@
-use flux_common::{cache::QueryCache, iter::IterExt, result::ResultExt};
+use flux_common::{iter::IterExt, result::ResultExt};
 use flux_errors::ErrorGuaranteed;
 use flux_infer::{
-    fixpoint_encoding::{FixQueryCache, FixpointCtxt, KVarGen},
+    fixpoint_encoding::{FixQueryCache, KVarGen},
     infer::{ConstrReason, Tag},
     refine_tree::RefineTree,
 };