fix

flamapy · Nov 22, 2024 · 430f5b8 · 430f5b8
1 parent b3b1efb
commit 430f5b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -5,7 +5,7 @@
 
 setuptools.setup(
     name="flamapy-smt",
-    version="1.3.4",
+    version="1.3.5",
     author="Antonio Germán Márquez Trujillo",
     author_email="[email protected]",
     description="This repo host the SMT model concrete classes",