From 3fcdbf9316642e1c7110ce7430b085fb0c46c43e Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Fri, 24 Jan 2025 13:32:12 +1100 Subject: [PATCH] quality --- kmir/src/tests/integration/test_integration.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/kmir/src/tests/integration/test_integration.py b/kmir/src/tests/integration/test_integration.py index 29329e827..5742dd0ee 100644 --- a/kmir/src/tests/integration/test_integration.py +++ b/kmir/src/tests/integration/test_integration.py @@ -5,8 +5,7 @@ from typing import TYPE_CHECKING import pytest -from pyk.cterm import CTerm -from pyk.kast.inner import KApply, KLabel, KSequence, KSort, KToken +from pyk.kast.inner import KApply, KSort, KToken from kmir.convert_from_definition.v2parser import Parser