Display version number using new format

Signed-off-by: Leonardo de Moura <[email protected]>
Z3Prover · Nov 11, 2012 · a6db55d · a6db55d
1 parent caced62
commit a6db55d
Showing 1 changed file with 1 addition and 10 deletions.
diff --git 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) {