Index: /branches/v5/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp
===================================================================
--- /branches/v5/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp	(revision 304)
+++ /branches/v5/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp	(revision 305)
@@ -3706,4 +3706,7 @@
           if( entry.valid) //  hit : the copy must be cleared
           {
+            assert( (entry.count > 0) &&
+                    "CLEANUP command received with no copy in the directory");
+
             if ( (entry.count==1) || (entry.is_cnt) )  // no access to the heap
             {
@@ -3773,6 +3776,6 @@
         if (not r_cleanup_is_cnt.read() and not match) {
             std::cout
-              << "VCI_MEM_CACHE ERROR : Cleanup request on a valid"
-              << "entry using linked list mode with no corresponding"
+              << "VCI_MEM_CACHE ERROR : Cleanup request on a valid "
+              << "entry using linked list mode with no corresponding "
               << "directory or heap entry"
               << std::endl;