diff --git a/version.tex b/version.tex
index 803c611fff97fc10a4534432b6e4a576c8503cda..e8d17d84f02a539a441365de5a41cfb00c020b62 100644
--- a/version.tex
+++ b/version.tex
@@ -1 +1 @@
-\providecommand{\version}{local-dev}
+\newcommand{\version}{local-dev}