diff --git a/version_vm b/version_vm
index e6a68e9..36c5cb9 100644
--- a/version_vm
+++ b/version_vm
@@ -1 +1 @@
-1.7.12
+1.7.13