From b168465391d24dbdcc6827606e8a3a81702a5e56 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sun, 11 Sep 2022 19:10:40 +0300 Subject: [PATCH] FIXED: sweep_load_buffer/3: load files in the context of "user" --- sweep.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sweep.pl b/sweep.pl index 0f8f06d..75138a1 100644 --- a/sweep.pl +++ b/sweep.pl @@ -645,7 +645,7 @@ sweep_load_buffer([String|Path0], Result) :- sweep_load_buffer_(Stream, Path, []) :- set_stream(Stream, file_name(Path)), - load_files(Path, [stream(Stream)]). + @(load_files(Path, [stream(Stream)]), user). with_buffer_stream(Stream, String, Goal) :- setup_call_cleanup(( new_memory_file(H), -- 2.39.2