Replace TIME_UTC by TIME_UTC_ as suggested in bug report 64 (https://code.google...

git-svn-id: https://svn.dealii.org/trunk@30046 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/bundled/boost-1.49.0/include/boost/thread/xtime.hpp b/deal.II/bundled/boost-1.49.0/include/boost/thread/xtime.hpp
index 7cc6272d6a6c3da8e365f2ea59993f2b11e95132..f908298647e4755421b03064449ea274b504a93a 100644 (file)
--- a/deal.II/bundled/boost-1.49.0/include/boost/thread/xtime.hpp
+++ b/deal.II/bundled/boost-1.49.0/include/boost/thread/xtime.hpp
@@ -20,7 +20,7 @@ namespace boost {
 
 enum xtime_clock_types
 {
-    TIME_UTC=1
+    TIME_UTC_=1
 //    TIME_TAI,
 //    TIME_MONOTONIC,
 //    TIME_PROCESS,
@@ -68,7 +68,7 @@ inline xtime get_xtime(boost::system_time const& abs_time)
 
 inline int xtime_get(struct xtime* xtp, int clock_type)
 {
-    if (clock_type == TIME_UTC)
+    if (clock_type == TIME_UTC_)
     {
         *xtp=get_xtime(get_system_time());
         return clock_type;