add to imports

beckydvn · beckydvn · commit 627bcec9f70a · 2021-09-22T11:44:57.000-04:00
diff --git a/nnf/__init__.py b/nnf/__init__.py
@@ -62,7 +62,7 @@
     "tseitin",
     "operators",
     "pysat",
-    "flatten"
+    "flatten_one_level"
 )
 
 
