From: Markus Triska <triska@metalevel.at>
Date: Tue, 2 Mar 2021 18:59:57 +0000 (+0100)
Subject: remove min_/3 and max_/3 which are also defined elsewhere
X-Git-Tag: v0.9.0~142^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5b60c8aa7ea690b8ecb34489145c5cf40999d68c;p=scryer-prolog.git

remove min_/3 and max_/3 which are also defined elsewhere
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 3012af78..0c561b92 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -6985,10 +6985,6 @@ cumulative(Tasks, Options) :-
             resource_limit(Start, End, Tasks, Bss, L)
         ).
 
-min_(E, M0, M) :- M is min(E,M0).
-
-max_(E, M0, M) :- M is max(E,M0).
-
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    Trivial lower and upper bounds, assuming no gaps and not necessarily
    retaining the rectangular shape of each task.