Allow different instances of the same protocol with identical preferences.

diff --git a/nest/rt-table.c b/nest/rt-table.c
index 584c434f6530c7016bce2682324b4024202409ad..e84937a853e4ac6eee956ab4f9a2df4a30feb5de 100644 (file)
--- a/nest/rt-table.c
+++ b/nest/rt-table.c
@@ -106,11 +106,8 @@ rte_better(rte *new, rte *old)
     return 1;
   if (new->pref < old->pref)
     return 0;
-  if (new->attrs->proto != old->attrs->proto)
-    {
-      /* FIXME!!! */
-      bug("Different protocols, but identical preferences => oops");
-    }
+  if (new->attrs->proto->proto != old->attrs->proto->proto)
+    bug("Different protocols, but identical preferences => oops");     /* FIXME */
   if (better = new->attrs->proto->rte_better)
     return better(new, old);
   return 0;