diff options
author | Johannes Schickel | 2011-10-06 00:29:03 +0200 |
---|---|---|
committer | Johannes Schickel | 2011-10-06 00:29:22 +0200 |
commit | 8d0a88e7f4529a53abdca35ac9b19a0e7a323335 (patch) | |
tree | 4d9423b04d86ae78ae2b09b966ddfa921ba6aca6 | |
parent | 880594eb76266dd7e87363bb49fb023b139adfab (diff) | |
download | scummvm-rg350-8d0a88e7f4529a53abdca35ac9b19a0e7a323335.tar.gz scummvm-rg350-8d0a88e7f4529a53abdca35ac9b19a0e7a323335.tar.bz2 scummvm-rg350-8d0a88e7f4529a53abdca35ac9b19a0e7a323335.zip |
BASE: Slight cleanup.
-rw-r--r-- | base/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/main.cpp b/base/main.cpp index a93f693d8d..5d0c0ea09a 100644 --- a/base/main.cpp +++ b/base/main.cpp @@ -103,7 +103,7 @@ static const EnginePlugin *detectPlugin() { // Query the plugins and find one that will handle the specified gameid printf("User picked target '%s' (gameid '%s')...\n", ConfMan.getActiveDomainName().c_str(), gameid.c_str()); - printf("%s", " Looking for a plugin supporting this gameid... "); + printf(" Looking for a plugin supporting this gameid... "); GameDescriptor game = EngineMan.findGame(gameid, &plugin); |