1 2 3 4 5 6 7 8 9 10 11
--- src/library/tools/givtruncdomain.h.orig 2013-12-04 17:03:41 UTC +++ src/library/tools/givtruncdomain.h @@ -17,7 +17,7 @@ #ifdef __APPLE__ #include <utility> #else -#include <bits/stl_pair.h> +/* #include <bits/stl_pair.h> */ #endif #endif