From: Paulo Moura <pmoura@logtalk.org>
Date: Wed, 12 May 2021 19:02:09 +0000 (+0100)
Subject: Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
X-Git-Tag: v0.9.0~64^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4fd33b015e0ec9cfa1825df6a1f6d5571dbdf114;p=scryer-prolog.git

Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
---

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index d96e0a16..309120f3 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1395,7 +1395,7 @@ number_codes(N, Chs) :-
 subsumes_term(General, Specific) :-
    \+ \+ (
       term_variables(Specific, SVs1),
-      General = Specific,
+      unify_with_occurs_check(General, Specific),
       term_variables(SVs1, SVs2),
       SVs1 == SVs2
    ).