From 1f1f733534c9bd348b774df612369fabd96ed659 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 5 Sep 2011 01:11:35 +0200
Subject: [PATCH] fix message warning in thread_pool

---
 LGPL/thread_pool.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LGPL/thread_pool.pl b/LGPL/thread_pool.pl
index 1f1269afb..6f9c2a94e 100644
--- a/LGPL/thread_pool.pl
+++ b/LGPL/thread_pool.pl
@@ -414,5 +414,5 @@ wait_reply(Value) :-
 prolog:message(thread_pool(Message)) -->
 	message(Message).
 
-message(manager_died(Status)) -->
+prolog:message(manager_died(Status)) -->
 	[ 'Thread-pool: manager died on status ~p; restarting'-[Status] ].