From b4481ca98c2e92b6213dad8f985b6a56cc8934da Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 26 Feb 2010 13:41:40 +0000 Subject: [PATCH] fix confusion with file names. --- pl/boot.yap | 2 +- pl/consult.yap | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/boot.yap b/pl/boot.yap index 0ef157d70..9bd74a606 100755 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -1002,7 +1002,7 @@ break :- bootstrap(F) :- '$open'(F, '$csult', Stream, 0, 0, F), - '$current_stream'(File,_,Stream), + '$file_name'(Stream,File), '$start_consult'(consult, File, LC), file_directory_name(File, Dir), getcwd(OldD), diff --git a/pl/consult.yap b/pl/consult.yap index 43c47ff6c..be7bc7246 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -214,7 +214,7 @@ use_module(M,F,Is) :- nb_getval('$consulting_file',OldF), '$set_consulting_file'(Stream), H0 is heapused, '$cputime'(T0,_), - '$current_stream'(File,_,Stream), + '$file_name'(Stream,File), '$fetch_stream_alias'(OldStream,'$loop_stream'), '$change_alias_to_stream'('$loop_stream',Stream), nb_getval('$consulting',Old),