From e38c850361ee86b0b58ebab4270ea82240468201 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 27 Feb 2012 14:20:34 +0000
Subject: [PATCH] fix yap_flag(user_* (obs from Nicos).

---
 pl/flags.yap | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/pl/flags.yap b/pl/flags.yap
index 13ccbb4bc..48a312bb3 100644
--- a/pl/flags.yap
+++ b/pl/flags.yap
@@ -741,23 +741,21 @@ yap_flag(stack_dump_on_error,X) :-
 
 yap_flag(user_input,OUT) :-
 	var(OUT), !,
-	'$flag_check_alias'(OUT, user_input).
-	
+	stream_property(OUT,alias(user_input)).
 yap_flag(user_input,Stream) :-
-	'$change_alias_to_stream'(user_input,Stream).
+	set_stream(Stream, alias(user_input).
 
 yap_flag(user_output,OUT) :-
 	var(OUT), !,
-	'$flag_check_alias'(OUT, user_output).
+	stream_property(OUT,alias(user_output)).
 yap_flag(user_output,Stream) :-
-	'$change_alias_to_stream'(user_output,Stream).
-
+	set_stream(Stream, alias(user_output).
 
 yap_flag(user_error,OUT) :-
 	var(OUT), !,
-	'$flag_check_alias'(OUT, user_error).
+	stream_property(OUT,alias(user_error)).
 yap_flag(user_error,Stream) :-
-	'$change_alias_to_stream'(user_error,Stream).
+	set_stream(Stream, alias(user_error).
 
 yap_flag(debugger_print_options,OUT) :-
 	var(OUT),