remove unused imports

briangu · Dec 13, 2023 · 1ee5bcd · 1ee5bcd
1 parent a3a7ae8
commit 1ee5bcd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/test_known_bugs.py b/tests/test_known_bugs.py
@@ -3,7 +3,7 @@
 from utils import *
 
 from klongpy import KlongInterpreter
-from klongpy.core import (KGChar, KGSym, is_float, is_integer, rec_flatten)
+from klongpy.core import KGChar
 
 
 class TestKnownBugsSuite(unittest.TestCase):