From 79eca95a95f685fc057732ac1cb30ee673a36d5d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 13 Nov 2012 22:46:57 -0800
Subject: [PATCH] bumped version number
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
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 cb1dae205..deef749c0 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, 3, 1, 0)
+ set_version(4, 3, 2, 0)
add_lib('util', [])
add_lib('polynomial', ['util'], 'math/polynomial')
add_lib('sat', ['util'])