diff --git a/src/utils/pool_sema.c b/src/utils/pool_sema.c
index 16069fbe6..7258ffe82 100644
--- a/src/utils/pool_sema.c
+++ b/src/utils/pool_sema.c
@@ -69,6 +69,8 @@ IpcSemaphoreKill(int status, Datum semId)
 		ereport(LOG,
 				(errmsg("removing semaphore set"),
 				 errdetail("semctl(%lu, 0, IPC_RMID, ...) failed: %s", semId, strerror(errno))));
+
+	elog(LOG, "remove semaphore set %lu", semId);
 }
 
 /*