From 0e54d3653fe5bc59049d3506f9b9fb4a612a053c Mon Sep 17 00:00:00 2001
From: Robin David <dev.robin.david@gmail.com>
Date: Sat, 29 Jul 2023 14:30:29 +0200
Subject: [PATCH] bump to version 0.1.7

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index feaab66..64f56b9 100644
--- a/setup.py
+++ b/setup.py
@@ -13,7 +13,7 @@
 
 setup(
     name="tritondse",
-    version="0.1.6",
+    version="0.1.7",
     description="A library of Dynamic Symbolic Exploration based the Triton library",
     packages=find_packages(),
     long_description=README,