diff options
| author | lurchi <lurchi@strangeplace.net> | 2018-01-23 08:14:13 +0100 |
|---|---|---|
| committer | lurchi <lurchi@strangeplace.net> | 2018-01-23 08:14:13 +0100 |
| commit | d45c008e677fa2fbff03e22745390d4775b031d2 (patch) | |
| tree | bd6d6af9edfd11e39ab83caa9af1c5b9ddf02757 /src/util | |
| parent | d0d412019fe5d97c2891f7ad6fd057d0b5dd1e12 (diff) | |
add assertion for debugging
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/scheduler.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/scheduler.c b/src/util/scheduler.c index 6a1b1a22d8..0fb69940f2 100644 --- a/src/util/scheduler.c +++ b/src/util/scheduler.c @@ -1944,6 +1944,7 @@ GNUNET_SCHEDULER_run_from_driver (struct GNUNET_SCHEDULER_Handle *sh) { LOG (GNUNET_ERROR_TYPE_ERROR, "GNUNET_SCHEDULER_run_from_driver was called, but no tasks are ready!\n"); + GNUNET_assert (0); return GNUNET_SYSERR; } |