Update boolalg.py

smichr · Dec 4, 2024 · d9c97cc · d9c97cc
1 parent 0d41f96
commit d9c97cc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/sympy/logic/boolalg.py b/sympy/logic/boolalg.py
@@ -15,6 +15,7 @@
 from sympy.core.operations import LatticeOp
 from sympy.core.singleton import Singleton, S
 from sympy.core.sorting import ordered
+from sympy.core.symbol import Symbol
 from sympy.core.sympify import _sympy_converter, _sympify, sympify
 from sympy.utilities.iterables import sift, ibin
 from sympy.utilities.misc import filldedent