From: Markus Triska <triska@metalevel.at>
Date: Wed, 14 Apr 2021 18:18:50 +0000 (+0200)
Subject: remove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).
X-Git-Tag: v0.9.0~101^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f56e2fc48eb14740042b9dd2a5806f36c74ac59b;p=scryer-prolog.git

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

This resolves #899.
---

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.