diff --git a/pl/checker.yap b/pl/checker.yap index 7a0f75542..3f2e7d06e 100644 --- a/pl/checker.yap +++ b/pl/checker.yap @@ -200,6 +200,9 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T). '$is_multifile'(S, M), !. '$multifile'(N/A, M) :- !, '$new_multifile'(N,A,M). +'$multifile'([H|T], M) :- !, + '$multifile'(H,M), + '$multifile'(T,M). '$multifile'(P, M) :- '$do_error'(type_error(predicate_indicator,P),multifile(M:P)).