From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 6 Feb 2021 06:16:42 +0000 (-0700)
Subject: remove dynamic clause declaration for clause internal
X-Git-Tag: v0.9.0~150^2~65^2~8
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=49b1c1368e81555e88d82f6fb619563164d38778;p=scryer-prolog.git

remove dynamic clause declaration for clause internal
---

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))