Merge pull request #1110 from G4m4/explicit_std_prefix
authorNico Weber <nicolasweber@gmx.de>
Wed, 17 Feb 2016 20:03:14 +0000 (15:03 -0500)
committerNico Weber <nicolasweber@gmx.de>
Wed, 17 Feb 2016 20:03:14 +0000 (15:03 -0500)
Fix ambiguous call to set_terminate on Windows platform


Trivial merge