From 115187ee2b4ede51b6e7aee1d690c98674f55917 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 5 Oct 2015 16:04:03 +0100 Subject: [PATCH] Bumped version number to 4.4.2. --- 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 21a00e697..2863de628 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, 1, 0) + set_version(4, 4, 2, 0) add_lib('util', []) add_lib('polynomial', ['util'], 'math/polynomial') add_lib('sat', ['util'])