From 3c7d655a6ea1603f8c1d7c47d07360cd6f73aef3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 25 Oct 2012 12:41:01 -0700 Subject: [PATCH] checkpoint Signed-off-by: Leonardo de Moura --- scripts/mk_make.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_make.py b/scripts/mk_make.py index 95946946f..931ebb06d 100644 --- a/scripts/mk_make.py +++ b/scripts/mk_make.py @@ -69,4 +69,4 @@ add_dot_net_dll('dotnetV3', ['api_dll'], 'bindings/dotnet/Microsoft.Z3V3', dll_n mk_auto_src() update_version(4, 2, 0, 0) -# mk_makefile() +mk_makefile()