From 27a9b8bd03dc7d6daa43d510e7ca14d97ceb7f58 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Mar 2024 21:32:18 -0700 Subject: [PATCH] fix project minor version Signed-off-by: Nikolaj Bjorner --- scripts/mk_project.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_project.py b/scripts/mk_project.py index d76e03ba6..ce2e7cb7e 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -8,7 +8,7 @@ from mk_util import * def init_version(): - set_version(4, 13, 0, 1) # express a default build version or pick up ci build version + set_version(4, 13, 1, 0) # express a default build version or pick up ci build version # Z3 Project definition def init_project_def():