diff --git a/setup.py b/setup.py
index 82613fcc0daa8eea26eb112270af9fd6e3c20145..86a1c8afd7e90b0788d8ad1c15ef2573c9ef4e56 100644
--- a/setup.py
+++ b/setup.py
@@ -44,6 +44,6 @@ setup(name='lclayout',
           'scipy>=1.5.*',  # BSD
           'liberty-parser>=0.0.10',  # GPLv3
           'pysmt==0.9.*',  # Apache-2.0
-          'z3-solver==4.8.*',  #
+          'z3-solver==4.8.*'  #
       ],
       zip_safe=False)