From 4d132e37c97f83e82253335011fb6fd30d122fd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20G=C3=BChring?= <pg@futureware.at>
Date: Mon, 1 May 2023 00:25:59 +0200
Subject: [PATCH] Fixed the array
---
setup.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/setup.py b/setup.py
index 82613fc..86a1c8a 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)
--
GitLab