From 8c9afa423b3eac210ea7e4ec974286f03c052725 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 29 Apr 2015 17:22:24 +0100 Subject: [PATCH] Bumped version number to 4.4.1 in unstable. Signed-off-by: Christoph M. Wintersteiger --- 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 1e21ff810..556b06098 100644 --- a/scripts/mk_project.py +++ b/scripts/mk_project.py @@ -9,7 +9,7 @@ from mk_util import * # Z3 Project definition def init_project_def(): - set_version(4, 4, 0, 0) + set_version(4, 4, 1, 0) add_lib('util', []) add_lib('polynomial', ['util'], 'math/polynomial') add_lib('sat', ['util'])