From 68539ab1e0690d8a634fdd1133098b574bfd872f Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 14 Dec 2010 23:46:17 +0000 Subject: [PATCH] make sure with_output_to argument is not rewritten. --- library/dialect/swi.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/dialect/swi.yap b/library/dialect/swi.yap index 2df4ba5c0..13b2d444b 100755 --- a/library/dialect/swi.yap +++ b/library/dialect/swi.yap @@ -191,7 +191,7 @@ goal_expansion(is_stream(A), system:swi_is_stream(A)) :- swi_io. goal_expansion(set_stream(A,B),system:swi_set_stream(A,B)) :- swi_io. % careful: with_output_to/2 requires setting user_output, and this % confuses emulation. -%goal_expansion(with_output_to(A,B),system:swi_with_output_to(A,B)) :- swi_io. +goal_expansion(with_output_to(A,B),with_output_to(A,B)) :- swi_io. goal_expansion(set_prolog_IO(A,B,C), system:swi_set_prolog_IO(A,B,C)) :- swi_io. goal_expansion(protocol(A), system:swi_protocol(A)) :- swi_io. goal_expansion(protocola(A), system:swi_protocola(A)) :- swi_io.