1 files changed, 3 insertions, 0 deletions

diff --git a/src/cadet/gnunet-service-cadet_tunnel.c b/src/cadet/gnunet-service-cadet_tunnel.c
index c94e59e27..422a1649e 100644
--- a/src/cadet/gnunet-service-cadet_tunnel.c
+++ b/src/cadet/gnunet-service-cadet_tunnel.c
@@ -2679,6 +2679,9 @@ destroy_ax (struct CadetTunnel *t)
 
   GNUNET_free_non_null (t->ax->DHRs);
   GNUNET_free_non_null (t->ax->kx_0);
+  while (NULL != t->ax->skipped_head)
+    delete_skipped_key (t, t->ax->skipped_head);
+  GNUNET_assert (0 == t->ax->skipped);
 
   GNUNET_free (t->ax);
   t->ax = NULL;