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

This resolves #899.
This commit is contained in:
Markus Triska
2021-04-14 20:18:50 +02:00
parent 5452b55e38
commit f56e2fc48e

View File

@@ -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.