diff --git a/virtualatex b/virtualatex
index 865a4259f7f164e485379b19d767c71c5e732e61..01872614499d018566343c3c26ec8ffb23ee4553 100755
--- a/virtualatex
+++ b/virtualatex
@@ -5,7 +5,7 @@ echoerr() {
 	echo "$@" >&2
 }
 
-VIRTUALTEX_VERSION=3.0
+VIRTUALTEX_VERSION=3.1
 VIRTUALATEX_CACHE="${VIRTUALATEX_CACHE:-$HOME/.cache/virtualatex}"
 VIRTUALATEX_MARKER='virtualatex.conf'