1 files changed, 1 insertions, 2 deletions

diff --git a/src/util/scheduler.c b/src/util/scheduler.c
index 6189b745c..6d4a8b354 100644
--- a/src/util/scheduler.c
+++ b/src/util/scheduler.c
@@ -2293,8 +2293,7 @@ select_loop (void *cls,
       }
     }
     tasks_ready = GNUNET_SCHEDULER_run_from_driver (sh);
-    if (GNUNET_SYSERR == tasks_ready)
-      GNUNET_abort_ ();
+    GNUNET_assert (GNUNET_SYSERR != tasks_ready);
   }
   GNUNET_NETWORK_fdset_destroy (rs);
   GNUNET_NETWORK_fdset_destroy (ws);