diff --git a/.LIBSEMIGROUPS_VERSION b/.LIBSEMIGROUPS_VERSION
index 37c2961c2..2c9b4ef42 100644
--- a/.LIBSEMIGROUPS_VERSION
+++ b/.LIBSEMIGROUPS_VERSION
@@ -1 +1 @@
-2.7.2
+2.7.3