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

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 3012af78680c277cd87bb11d5808576f3c87f94e..0c561b9226cab4dba45b77cf26744de3e527e8f0 100644 (file)
--- 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.