From a6db55d21f22a561a02d9cc77935c28db9a51821 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 10 Nov 2012 19:03:16 -0800 Subject: [PATCH] Display version number using new format Signed-off-by: Leonardo de Moura --- src/shell/main.cpp | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/src/shell/main.cpp b/src/shell/main.cpp index 8225908673..6dc5a7ebe2 100644 --- a/src/shell/main.cpp +++ b/src/shell/main.cpp @@ -214,16 +214,7 @@ void parse_cmd_line_args(int argc, char ** argv) { exit(0); } if (strcmp(opt_name, "version") == 0) { -#ifdef _EXTERNAL_RELEASE - std::cout << "Z3 version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "\n"; -#else - std::cout - << "Z3 version (major minor build revision): " - << Z3_MAJOR_VERSION << " " - << Z3_MINOR_VERSION << " " - << Z3_BUILD_NUMBER << " " - << Z3_REVISION_NUMBER << "\n"; -#endif + std::cout << "Z3 version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "\n"; exit(0); } else if (strcmp(opt_name, "smt") == 0) {