ASdf

flux-rs · Dec 6, 2024 · e9908a5 · e9908a5
1 parent 66ee036
commit e9908a5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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,
 };