blob: 14bcdaaef08f76877f69f6e7ff8ad22c455a75fb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- configure.orig 2013-02-21 21:21:49.000000000 +0100
+++ configure 2013-11-22 20:34:49.000000000 +0100
@@ -58248,7 +58248,7 @@
main ()
{
- std::unordered_map m;
+ std::unordered_map<int, int> m;
;
return 0;
|