From 6ee6841bb417875effe59e35c7c98995e4da7f8c Mon Sep 17 00:00:00 2001
From: Massimo Santini <santini@di.unimi.it>
Date: Fri, 5 Apr 2024 12:31:15 +0200
Subject: [PATCH] =?UTF-8?q?Bump=20version=201.7.1=20=E2=86=92=201.7.2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/liblet/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/liblet/__init__.py b/src/liblet/__init__.py
index 0246e15..f5e1309 100644
--- a/src/liblet/__init__.py
+++ b/src/liblet/__init__.py
@@ -1,4 +1,4 @@
-__version__ = '1.7.1'
+__version__ = '1.7.2'
 
 from liblet.antlr import ANTLR, AnnotatedTreeWalker
 from liblet.automaton import (