Unused import

This commit is contained in:
Ayaz Hafiz 2022-12-01 11:10:19 -06:00
parent 078f0147ee
commit 34328ddf0c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -10,7 +10,6 @@ use crate::annotation::IntroducedVariables;
use crate::annotation::OwnedNamedOrAble;
use crate::derive;
use crate::env::Env;
use crate::expr::AccessorData;
use crate::expr::AnnotatedMark;
use crate::expr::ClosureData;
use crate::expr::Declarations;