lint

tum-ei-eda · Mar 5, 2024 · 01dab0b · 01dab0b
1 parent 6b4f4cd
commit 01dab0b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/seal5/backends/yaml/writer.py b/seal5/backends/yaml/writer.py
@@ -16,7 +16,7 @@
 
 import yaml
 
-from m2isar.metamodel import arch, patch_model, behav
+from m2isar.metamodel import arch
 
 logger = logging.getLogger("yaml_writer")
 

diff --git a/seal5/flow.py b/seal5/flow.py
@@ -33,8 +33,7 @@
 from seal5 import utils
 from seal5.tools import llvm, cdsl2llvm, inject_patches
 from seal5.resources.resources import get_patches, get_test_cfg
-from seal5.index import File, NamedPatch, write_index_yaml
-from seal5.passes import Seal5Pass, PassType, PassScope, PassManager, PassResult, filter_passes
+from seal5.passes import Seal5Pass, PassType, PassScope, PassManager, filter_passes
 import seal5.pass_list as passes
 
 logger = get_logger()