# 
# patch "platform.hh"
#  from [5a07be2e7cfdcaebcc73e2ed57cff453c05d817c]
#    to [43b7d509612c6519b3bbb53dc217832a7029e07c]
# 
========================================================================
--- platform.hh	5a07be2e7cfdcaebcc73e2ed57cff453c05d817c
+++ platform.hh	43b7d509612c6519b3bbb53dc217832a7029e07c
@@ -29,7 +29,7 @@
 
 // for pipe creation on Win32
 #ifdef WIN32
-std::string munge_argv_into_cmdline(const char* const argv[])
+std::string munge_argv_into_cmdline(const char* const argv[]);
 #endif
 
 // for term selection