diff --git a/src/backend/threadpool.c b/src/backend/threadpool.c
index d7c13551e..1f2a1cc71 100644
--- a/src/backend/threadpool.c
+++ b/src/backend/threadpool.c
@@ -42,23 +42,13 @@ NOBUG_DEFINE_FLAG_PARENT (threadpool, threads_dbg); /*TODO insert a suitable/bet
 
 //code goes here//
 
-void* pool_thread_loop(void * arg)
-{
-  (void) arg;
-  while (1)
-    {
-      ;
-    }
-  return arg;
-}
-
 void
 lumiera_threadpool_init()
 {
   for (int i = 0; i < LUMIERA_THREADCLASS_COUNT; ++i)
     {
       llist_init(&threadpool.pool[i].list);
-       threadpool.pool[i].working_thread_count = 0;
+      threadpool.pool[i].working_thread_count = 0;
       threadpool.pool[i].idle_thread_count = 0;
 
       //TODO: configure each pools' pthread_attrs appropriately