fix confusion with file names.
This commit is contained in:
parent
d7c74d8888
commit
b4481ca98c
@ -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),
|
||||
|
@ -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),
|
||||
|
Reference in New Issue
Block a user