From 6adf42a83d7a4fb9602d5a1dcf50c24d1bc1573e Mon Sep 17 00:00:00 2001 From: Virgil Date: Tue, 3 Oct 2023 14:42:29 +0300 Subject: [PATCH] Fix lint warnings --- kmxwasm/src/tests/integration/test_integration.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kmxwasm/src/tests/integration/test_integration.py b/kmxwasm/src/tests/integration/test_integration.py index 5d0177fd..521efab2 100644 --- a/kmxwasm/src/tests/integration/test_integration.py +++ b/kmxwasm/src/tests/integration/test_integration.py @@ -6,7 +6,7 @@ from pyk.prelude.utils import token from kmxwasm.build import HASKELL, kbuild_semantics -from kmxwasm.property_testing.paths import KBUILD_DIR, KBUILD_ML_PATH, ROOT +from kmxwasm.property_testing.paths import KBUILD_DIR, KBUILD_ML_PATH from kmxwasm.tools import Tools from kmxwasm.json import load_json_kclaim from kmxwasm.property_testing.wasm_krun_initializer import WasmKrunInitializer