Make max_with_block/4 public

This is the current rule generally applied to a label function.
Make it exportable for now until we can come back and clean up
the legacy approval data code.

Change-Id: Ib333e512b0237b6440db859d7a31c4033742c244
This commit is contained in:
Shawn O. Pearce
2011-06-20 17:39:07 -07:00
parent fa43ad2e63
commit 849a0a5845

View File

@@ -226,6 +226,8 @@ legacy_submit_rule(Fun, Label, Id, Min, Max, T) :- T = impossible(unsupported(Fu
%% - The minimum is never used.
%% - At least one maximum is used.
%%
:- public max_with_block/4.
%%
max_with_block(Label, Min, Max, reject(Who)) :-
check_label_range_permission(Label, Min, ok(Who)),
!