From f496abbbef33e974c596501ef835f9bb07585b22 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 22 Apr 2025 23:28:19 -0700 Subject: [PATCH] use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893) --- src/lib/builtins.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) ). -- 2.54.0