Skip to content

Commit 9dfe96d

Browse files
committed
Fix warning
1 parent 2c0e2eb commit 9dfe96d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

chalk-engine/src/logic.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -562,7 +562,7 @@ impl<C: Context, CO: ContextOps<C>> Forest<C, CO> {
562562
debug!("answer: table={:?}, answer_subst={:?}", table, answer_subst);
563563

564564
let delayed_literals = {
565-
let mut delayed_literals: FxHashSet<_> = delayed_literals.into_iter()
565+
let delayed_literals: FxHashSet<_> = delayed_literals.into_iter()
566566
.map(|dl| infer.lift_delayed_literal(dl))
567567
.collect();
568568
DelayedLiteralSet { delayed_literals }

0 commit comments

Comments
 (0)