diff --git a/version.tex b/version.tex
index 6d966ce..dea75f3 100644
--- a/version.tex
+++ b/version.tex
@@ -1 +1 @@
-\providecommand{\version}{0.13.0}
+\providecommand{\version}{0.13.1}