From 4818d28b0be9027b283c36abe5a670ac45a9864c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 4 Nov 2013 22:32:03 +0000
Subject: [PATCH] handle alias

---
 pl/messages.yap | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pl/messages.yap b/pl/messages.yap
index bef85d29f..b416dbaa2 100644
--- a/pl/messages.yap
+++ b/pl/messages.yap
@@ -522,6 +522,8 @@ prefix(warning,	      '% ',      user_error) -->
 	{ thread_self(Id) },
 	(   { Id == main }
 	->  [ 'Warning: ', nl ]
+	;   { atom(Id) }
+	->  ['Warning: [Thread ~a ]' - Id, nl ]
 	;   ['Warning: [Thread ~d ]' - Id, nl ]
 	).
 prefix(error,	      '     ',   user_error) -->
@@ -529,6 +531,8 @@ prefix(error,	      '     ',   user_error) -->
 	{ thread_self(Id) },
 	(   { Id == main }
 	->  [ 'ERROR at ' ]
+	;   { atom(Id) }
+	->  [ 'ERROR [Thread ~a ] at ' - Id ]
 	;   [ 'ERROR [Thread ~d ] at ' - Id ]
 	),
 	'$hacks':display_pc(P),
@@ -538,6 +542,8 @@ prefix(error,	      '     ',   user_error) -->
 	{ thread_self(Id) },
 	(   { Id == main }
 	->  [ 'ERROR!!', nl ]
+	;   { atom(Id) }
+	->  [ 'ERROR!! [Thread ~a ]' - Id, nl ]
 	;   [ 'ERROR!! [Thread ~d ]' - Id, nl ]
 	).
 prefix(banner,	      '',	   user_error) --> [].