From 3cced14e294a8b2d503059b2f75c0d0bb90b9ee9 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 22 May 2018 14:48:28 +0200
Subject: [PATCH] Typo

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index c6542a8..deedadd 100755
--- a/setup.py
+++ b/setup.py
@@ -190,7 +190,7 @@ class CMakeBuild(build_ext):
         env['CXXFLAGS'] = '{} -DVERSION_INFO=\\"{}\\"'.format(env.get('CXXFLAGS', ''),
                                                               self.distribution.get_version())
         setup_helper.ensure_dir_exists(self.build_temp)
-        print("Pycarl - CMake args={}".format(cmake_args))
+        print("Stormpy - CMake args={}".format(cmake_args))
         # Call cmake
         subprocess.check_call(['cmake', ext.sourcedir] + cmake_args, cwd=self.build_temp, env=env)
         subprocess.check_call(['cmake', '--build', '.', '--target', ext.name] + build_args, cwd=self.build_temp)