From d57f1d3c845220c741db73c1fada017a75b11992 Mon Sep 17 00:00:00 2001 From: tslil Date: Thu, 30 Apr 2026 15:55:11 +0100 Subject: fill in some more todos --- src/checker_set.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/checker_set.rs') diff --git a/src/checker_set.rs b/src/checker_set.rs index c3d1b3a..e12cfb2 100644 --- a/src/checker_set.rs +++ b/src/checker_set.rs @@ -2,7 +2,6 @@ use crate::ast::*; use crate::checker_state::*; use std::collections::HashMap; -use std::iter::zip; use tracing::instrument; impl CheckerState { -- cgit v1.3.1