diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 588a12fe..4f2b1825 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -813,8 +813,6 @@ setof(Template, Goal, Solution) :- ). -:- dynamic('$clause'/2). - clause(H, B) :- ( var(H) -> throw(error(instantiation_error, clause/2))