From cc149e6ea653a2dad5943fc14a6c90013aab31d5 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sat, 30 Dec 2017 10:23:07 +0100
Subject: [PATCH] Fix issue detected by scan-build

---
 tests/test-mgenint.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/test-mgenint.c b/tests/test-mgenint.c
index 2cfd7b7c..f32ac1ad 100644
--- a/tests/test-mgenint.c
+++ b/tests/test-mgenint.c
@@ -35,6 +35,7 @@ static void test(size_t n)
       assert (i == j);
     }
     i = genint_pop(s);
+    assert (i == -1UL);
     assert (genint_pop(s) == -1UL);
     
     for(size_t j = 0; j< n ; j++) {