diff --git a/src/version b/src/version
index 081af9a1..0a182f2e 100644
--- a/src/version
+++ b/src/version
@@ -1 +1 @@
-1.7.1
\ No newline at end of file
+1.7.2
\ No newline at end of file