diff --git a/pl/dbload.yap b/pl/dbload.yap index 77a601e9d..a377d9745 100644 --- a/pl/dbload.yap +++ b/pl/dbload.yap @@ -87,7 +87,7 @@ dbload(F, _, G) :- '$do_error'(type_error(atom,F),G). do_dbload(F0, M0, G) :- - '$full_filename'(F0,F,G), + '$full_filename'(F0, F, G), assert(dbprocess(F, M0)), open(F, read, R), check_dbload_stream(R, M0),