From 01dab0b96bd6c34ad9bb9132d9cee1afe50c29b9 Mon Sep 17 00:00:00 2001 From: Philipp van Kempen Date: Tue, 5 Mar 2024 12:46:36 +0100 Subject: [PATCH] lint --- seal5/backends/yaml/writer.py | 2 +- seal5/flow.py | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/seal5/backends/yaml/writer.py b/seal5/backends/yaml/writer.py index 11ed59bb..0d4e20d3 100644 --- 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 index b4e6ab9f..0fa1e51f 100644 --- 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()