Fix lint warnings

runtimeverification · Oct 3, 2023 · 6adf42a · 6adf42a
1 parent 4a9478a
commit 6adf42a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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