Index: /branches/reconfiguration/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp
===================================================================
--- /branches/reconfiguration/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 927)
+++ /branches/reconfiguration/modules/vci_cc_vcache_wrapper/caba/source/src/vci_cc_vcache_wrapper.cpp	(revision 928)
@@ -30,4 +30,5 @@
 #include <cassert>
 #include <signal.h>
+#include <limits>
 
 #include "arithmetics.h"
@@ -842,5 +843,5 @@
 
         // Reset watchdog timer threshold to max value
-        r_dcache_wdt_max           = UINT32_MAX;
+        r_dcache_wdt_max           = std::numeric_limits<uint32_t>::max();
         r_dcache_wdt_timeout       = 0;