Fixed the array

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)