Remove unused imports in tests

blyxxyz · blyxxyz · commit 562cebc16988 · 2020-07-30T21:24:49.000+02:00
diff --git a/test_nnf.py b/test_nnf.py
@@ -12,7 +12,7 @@
 
 import nnf
 
-from nnf import Var, And, Or, amc, dimacs, dsharp, operators, true, false, tseitin
+from nnf import Var, And, Or, amc, dimacs, dsharp, operators, tseitin
 
 settings.register_profile('patient', deadline=2000,
                           suppress_health_check=(HealthCheck.too_slow,))
