From f56e2fc48eb14740042b9dd2a5806f36c74ac59b Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Wed, 14 Apr 2021 20:18:50 +0200
Subject: [PATCH] remove rectractall/1 (built-in since
 8188e3d0cfde3f2277232a5e9ff2931873211af6).

This resolves #899.
---
 src/lib/clpz.pl | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index dc12e7a9..20674469 100644
--- 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.
 
-- 
2.54.0