From 29741371698141bf6f7e1adcef2008fe8bd2a579 Mon Sep 17 00:00:00 2001
From: Bart Polot <bart@net.in.tum.de>
Date: Wed, 23 Jul 2014 05:47:26 +0000
Subject: [PATCH] - make sure head of pending messages is > expected message,
 fix integer underflow

---
 src/cadet/gnunet-service-cadet_channel.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cadet/gnunet-service-cadet_channel.c b/src/cadet/gnunet-service-cadet_channel.c
index 4b1200102..867e6b0de 100644
--- a/src/cadet/gnunet-service-cadet_channel.c
+++ b/src/cadet/gnunet-service-cadet_channel.c
@@ -1540,6 +1540,7 @@ GCCH_send_data_ack (struct CadetChannel *ch, int fwd)
            GC_m2s (copy->type));
       continue;
     }
+    GNUNET_assert (copy->mid > ack);
     delta = copy->mid - (ack + 1);
     if (63 < delta)
       break;
-- 
2.25.1