diff --git a/cmake/ProofInternal.cmake b/cmake/ProofInternal.cmake
index 53c2aad..95aa367 100644
--- a/cmake/ProofInternal.cmake
+++ b/cmake/ProofInternal.cmake
@@ -1,7 +1,7 @@
 include(GoogleTest)
 include(ProofCommon)
 
-set(PROOF_VERSION 0.19.9.12)
+set(PROOF_VERSION 0.19.9.13)
 
 macro(proof_init)
     set_property(GLOBAL PROPERTY USE_FOLDERS ON)