diff --git a/configure b/configure
index 840b4de..dac27c1 100755
--- a/configure
+++ b/configure
@@ -1881,7 +1881,7 @@
 
 # Define the identity of the package.
  PACKAGE=asn1c
- VERSION=0.9.12
+ VERSION=0.9.13
 
 
 cat >>confdefs.h <<_ACEOF