diff --git a/src/utils/pool_sema.c b/src/utils/pool_sema.c
index 0f3a3319c..3343acfcf 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 with error \"%m\"", semId)));
+
+	elog(LOG, "remove semaphore set %lu", semId);
 }
 
 /*