From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 23 Apr 2025 06:28:19 +0000 (-0700)
Subject: use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893)
X-Git-Tag: v0.10.0~52
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f496abbbef33e974c596501ef835f9bb07585b22;p=scryer-prolog.git

use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893)
---

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 745cbc48..4b2d4b1c 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1210,9 +1210,9 @@ assertz_(Module, Fact) :-
 retract(Clause0) :-
     loader:strip_module(Clause0, Module, Clause),
     (  Clause \= (_ :- _) ->
-       loader:strip_module(Clause, Module, Head),
+       loader:strip_subst_module(Clause, Module, InnerModule, Head),
        Body = true,
-       retract_module_clause(Head, Body, Module)
+       retract_module_clause(Head, Body, InnerModule)
     ;  Clause = (Head :- Body) ->
        retract_module_clause(Head, Body, Module)
     ).