-internal logic consistency check

2 files changed, 2 insertions, 0 deletions

diff --git a/src/scalarproduct/gnunet-service-scalarproduct_alice.c b/src/scalarproduct/gnunet-service-scalarproduct_alice.c
index 888f9d1f0..1cfc2a89f 100644
--- a/src/scalarproduct/gnunet-service-scalarproduct_alice.c
+++ b/src/scalarproduct/gnunet-service-scalarproduct_alice.c
@@ -916,6 +916,7 @@ cb_intersection_element_removed (void *cls,
     /* this element has been removed from the set */
     se = GNUNET_CONTAINER_multihashmap_get (s->intersected_elements,
                                             element->data);
+    GNUNET_assert (NULL != se);
     LOG (GNUNET_ERROR_TYPE_DEBUG,
          "Intersection removed element with key %s and value %lld\n",
          GNUNET_h2s (&se->key),
diff --git a/src/scalarproduct/gnunet-service-scalarproduct_bob.c b/src/scalarproduct/gnunet-service-scalarproduct_bob.c
index fdc2d955d..2a452c64f 100644
--- a/src/scalarproduct/gnunet-service-scalarproduct_bob.c
+++ b/src/scalarproduct/gnunet-service-scalarproduct_bob.c
@@ -955,6 +955,7 @@ cb_intersection_element_removed (void *cls,
     /* this element has been removed from the set */
     se = GNUNET_CONTAINER_multihashmap_get (s->intersected_elements,
                                             element->data);
+    GNUNET_assert (NULL != se);
     LOG (GNUNET_ERROR_TYPE_DEBUG,
          "Removed element with key %s and value %lld\n",
          GNUNET_h2s (&se->key),