remove unused import

This commit is contained in:
microproofs 2024-03-07 16:27:27 -05:00 committed by Kasey
parent dcec8ecfe6
commit bf429fbdbf
1 changed files with 1 additions and 1 deletions

View File

@ -8,7 +8,7 @@ use crate::{
Span, TraceLevel, TypedArg, TypedClause, TypedClauseGuard, TypedDataType, TypedPattern, Span, TraceLevel, TypedArg, TypedClause, TypedClauseGuard, TypedDataType, TypedPattern,
UnOp, UnOp,
}, },
builtins::{bool, data, function, int, list, string, void}, builtins::{bool, data, function, int, list, void},
expr::TypedExpr, expr::TypedExpr,
line_numbers::{LineColumn, LineNumbers}, line_numbers::{LineColumn, LineNumbers},
tipo::{ tipo::{