From f68eba6a9f7d25a5aa93e2c5959f38d961fd61f5 Mon Sep 17 00:00:00 2001
From: Eduardo Bart <edub4rt@gmail.com>
Date: Tue, 17 May 2011 01:32:18 -0300
Subject: [PATCH] fix to work with a gcc bug

---
 src/main.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main.cpp b/src/main.cpp
index 3d6ddef3..dad5b58d 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -77,10 +77,10 @@ void saveConfigs()
 
 #ifdef WIN32_NO_CONSOLE
 #include <windows.h>
-int WINAPI WinMain(HINSTANCE hThisInstance, HINSTANCE hPrevInstance, LPSTR lpszArgument,int nCmdShow)
+int WINAPI WinMain(HINSTANCE hThisInstance, HINSTANCE hPrevInstance, LPSTR lpszArgument, int nCmdShow)
 {
     std::vector<std::string> args;
-    boost::split(args, lpszArgument, boost::is_any_of(" "));
+    boost::split(args, lpszArgument, boost::is_any_of(std::string(" ")));
 #else
 int main(int argc, const char *argv[])
 {