FIXED: sweep_load_buffer/3: load files in the context of "user"

diff --git a/sweep.pl b/sweep.pl
index 0f8f06d0fdad7e67294cbefc123cb21160aa1d8f..75138a17db1aa00101d4d427ee72840e2cb296ba 100644 (file)
--- 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),