small fixes.

This commit is contained in:
Costa Vitor 2012-07-16 14:10:22 -05:00
parent 82d6640fea
commit efc857b3e1

View File

@ -96,7 +96,7 @@ db_dynamic(Min) :-
predicate_statistics(M:P,Cls,CSz,ISz), predicate_statistics(M:P,Cls,CSz,ISz),
predicate_erased_statistics(M:P,ECls,ECSz,EISz), predicate_erased_statistics(M:P,ECls,ECSz,EISz),
Sz is (CSz+ISz+ECSz+EISz), Sz is (CSz+ISz+ECSz+EISz),
Sz < Min), Sz > Min),
All), All),
format(user_error,' Dynamic user code~n===========================~n',[]), format(user_error,' Dynamic user code~n===========================~n',[]),
display_dpreds(All). display_dpreds(All).