From 5e9e7b875b059de55817fe2adc0dac8708bc0589 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 19 Dec 2014 13:18:01 +0100
Subject: [PATCH] Proper output of MathSAT version on command line.

Former-commit-id: 2bccdc8d1a4390c1b8aeb9bcf922d0749fbef2ec
---
 src/utility/cli.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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