Proper output of MathSAT version on command line.

Former-commit-id: 2bccdc8d1a
10 years ago · 5e9e7b875b
1 changed files with 1 additions and 1 deletions
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@ -141,7 +141,7 @@ namespace storm {
 #endif
 #ifdef STORM_HAVE_MSAT
                char* msatVersion = msat_get_version();
-                std::cout << "Linked with MathSAT v" << msatVersion << "." << std::endl;
+                std::cout << "Linked with " << msatVersion << "." << std::endl;
                msat_free(msatVersion);
 #endif