quality

runtimeverification · Jan 24, 2025 · 3fcdbf9 · 3fcdbf9
1 parent b87dc2a
commit 3fcdbf9
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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