From 49b1c1368e81555e88d82f6fb619563164d38778 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 5 Feb 2021 23:16:42 -0700 Subject: [PATCH] remove dynamic clause declaration for clause internal --- src/lib/builtins.pl | 2 -- 1 file changed, 2 deletions(-) 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)) -- 2.54.0