diff -p -up polymake-2.9.6/lib/PTL/include/Integer.h.orig polymake-2.9.6/lib/PTL/include/Integer.h --- polymake-2.9.6/lib/PTL/include/Integer.h.orig 2009-02-26 18:38:29.000000000 -0300 +++ polymake-2.9.6/lib/PTL/include/Integer.h 2009-02-26 18:39:25.000000000 -0300 @@ -1185,8 +1185,8 @@ namespace std { static pm::Integer min() throw() { return pm::Integer(pm::maximal<pm::Integer>(),-1); } static pm::Integer infinity() throw() { return pm::Integer(pm::maximal<pm::Integer>()); } static pm::Integer max() throw() { return pm::Integer(pm::maximal<pm::Integer>()); } - static const int digits=INT_MAX; - static const int digits10=INT_MAX; + static const int digits=__INT_MAX__; + static const int digits10=__INT_MAX__; static const bool is_bounded=false; };