--- pc_proto.orig.cpp	2014-01-28 23:28:53.262021748 -0500
+++ pc_proto.cpp	2014-01-28 23:33:36.323022996 -0500
@@ -604,7 +604,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:"