diff --git a/src/utility/cli.h b/src/utility/cli.h
index 323c4473d..5511d506f 100644
--- 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