diff --git a/configure.sh b/configure.sh
index c4fae35..bdd77a4 100755
--- a/configure.sh
+++ b/configure.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 Z3_VERSION=4.13.0
-KIND2_VERSION=2.2.0
+KIND2_VERSION=2.3.0
 SERVER_VERSION=0.1.10
 
 ARCH=$(uname -m)