remove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).

This resolves #899.

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index dc12e7a9cae786089f3c35dc921aeee8bd12f8ee..2067446990138024af09f3c7bf1404995e672754 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -1902,12 +1902,6 @@ label([], _, Selection, Order, Choice, Optim0, Consistency, Vars) :-
                          retractall(extremum(_)))
         ).
 
-retractall(What) :-
-        (   \+ \+ retract(What) ->
-            retractall(What)
-        ;   true
-        ).
-
 % Introduce new variables for each min/max expression to avoid
 % reparsing expressions during optimisation.