Index: /branches/MESI/modules/vci_mem_cache/caba/source/include/vci_mem_cache.h
===================================================================
--- /branches/MESI/modules/vci_mem_cache/caba/source/include/vci_mem_cache.h	(revision 787)
+++ /branches/MESI/modules/vci_mem_cache/caba/source/include/vci_mem_cache.h	(revision 788)
@@ -542,5 +542,5 @@
       void reset_counters();
       void print_stats(bool activity_counters, bool stats);
-      void print_trace( size_t detailled = 0 );
+      void print_trace(size_t detailled = 0);
       void cache_monitor(addr_t addr);
       void start_monitor(addr_t addr, addr_t length);
Index: /branches/MESI/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp
===================================================================
--- /branches/MESI/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp	(revision 787)
+++ /branches/MESI/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp	(revision 788)
@@ -891,5 +891,7 @@
 
     /////////////////////////////////////////
-    tmpl(void)::print_stats(bool activity_counters)
+    tmpl(void)::print_stats(bool activity_counters, bool stats)
+    /////////////////////////////////////////
+    // @param stats is unused at the moment
     {
         std::cout << "**********************************" << std::dec << std::endl;
@@ -7683,5 +7685,5 @@
             case CC_SEND_CONFIG_IDLE:    // XRAM_RSP FSM has highest priority
                 {
-                    bool cc_send_updt_delay = not r_read_to_cc_send_type.read() and r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
+                    bool cc_send_updt_delay = r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
                                               r_read_to_cc_send_nline.read() == r_cleanup_to_tgt_rsp_nline.read() and
                                               m_read_to_cc_send_srcid_fifo.read() == r_cleanup_to_tgt_rsp_srcid.read();
@@ -7752,5 +7754,5 @@
             case CC_SEND_WRITE_IDLE:     // CONFIG FSM has highest priority
                 {
-                    bool cc_send_updt_delay = not r_read_to_cc_send_type.read() and r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
+                    bool cc_send_updt_delay = r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
                                               r_read_to_cc_send_nline.read() == r_cleanup_to_tgt_rsp_nline.read() and
                                               m_read_to_cc_send_srcid_fifo.read() == r_cleanup_to_tgt_rsp_srcid.read();
@@ -7819,5 +7821,5 @@
             case CC_SEND_XRAM_RSP_IDLE:   // CAS FSM has highest priority
                 {
-                    bool cc_send_updt_delay = not r_read_to_cc_send_type.read() and r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
+                    bool cc_send_updt_delay = r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
                                               r_read_to_cc_send_nline.read() == r_cleanup_to_tgt_rsp_nline.read() and
                                               m_read_to_cc_send_srcid_fifo.read() == r_cleanup_to_tgt_rsp_srcid.read();
@@ -7886,5 +7888,5 @@
             case CC_SEND_CAS_IDLE:   // CLEANUP FSM has highest priority
                 {
-                    bool cc_send_updt_delay = not r_read_to_cc_send_type.read() and r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
+                    bool cc_send_updt_delay = r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
                                               r_read_to_cc_send_nline.read() == r_cleanup_to_tgt_rsp_nline.read() and
                                               m_read_to_cc_send_srcid_fifo.read() == r_cleanup_to_tgt_rsp_srcid.read();
@@ -7953,5 +7955,5 @@
             case CC_SEND_READ_IDLE:    // WRITE FSM has highest priority  
                 {
-                    bool cc_send_updt_delay = not r_read_to_cc_send_type.read() and r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
+                    bool cc_send_updt_delay = r_tgt_rsp_fsm.read() == TGT_RSP_CLEANUP and
                                               r_read_to_cc_send_nline.read() == r_cleanup_to_tgt_rsp_nline.read() and
                                               m_read_to_cc_send_srcid_fifo.read() == r_cleanup_to_tgt_rsp_srcid.read();