fix bug in public directive.

This commit is contained in:
Vitor Santos Costa 2011-06-13 01:45:03 +01:00
parent c67cac0a36
commit b57e809adb

View File

@ -757,7 +757,7 @@ dynamic_predicate(P,Sem) :-
'$public'([H|L], M) :- !, '$public'(H, M), '$public'(L, M).
'$public'(A//N1, Mod) :- integer(N1), !,
N is N1+2,
'$public'(A//N, Mod).
'$public'(A/N, Mod).
'$public'(A/N, Mod) :- integer(N), atom(A), !,
functor(T,A,N),
'$do_make_public'(T, Mod).