--- pc_proto.orig.cpp	2014-01-28 23:19:06.748022205 -0500
+++ pc_proto.cpp	2014-01-28 23:31:26.243021689 -0500
@@ -603,7 +603,12 @@
                     }
                     else
                     {
-                        gcomm_assert(msg_state == local_state)
+                        gcomm_assert(
+                            msg_state.prim() == local_state.prim()     &&
+                            msg_state.last_seq() == local_state.last_seq()  &&
+                            msg_state.last_prim() == local_state.last_prim() &&
+                            msg_state.to_seq()    == local_state.to_seq() &&
+                            msg_state.weight() == local_state.weight())
                             << self_id()
                             << " node " << uuid
                             << " prim state message and local states not consistent:"