Index: trunk/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp
===================================================================
--- trunk/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp	(revision 530)
+++ trunk/modules/vci_mem_cache/caba/source/src/vci_mem_cache.cpp	(revision 531)
@@ -2738,10 +2738,10 @@
 
                     // check that SC command has constant address
-                    assert( not is_sc or (index == r_write_word_index) &&
+                    assert((not is_sc or (index == r_write_word_index)) &&
                             "MEMC ERROR in WRITE_NEXT state: "
                             "the address must be constant on a SC command");
 
                     // check that SC command has two flits
-                    assert( not is_sc or m_cmd_write_eop_fifo.read() &&
+                    assert((not is_sc or m_cmd_write_eop_fifo.read()) &&
                             "MEMC ERROR in WRITE_NEXT state: "
                             "invalid packet format for SC command");