diff --git a/sympy/logic/boolalg.py b/sympy/logic/boolalg.py index c4cbf0e4671a..3e3f548938ba 100644 --- 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