rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mark Thom
2025-04-22 23:28:19 -07:00
parent f1793744bc
commit f496abbbef
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/builtins.pl
View File

@@ -1210,9 +1210,9 @@ assertz_(Module, Fact) :-
retract(Clause0) :- retract(Clause0) :-
loader:strip_module(Clause0, Module, Clause), loader:strip_module(Clause0, Module, Clause),
( Clause \= (_ :- _) -> ( Clause \= (_ :- _) ->
loader:strip_module(Clause, Module, Head), loader:strip_subst_module(Clause, Module, InnerModule, Head),
Body = true, Body = true,
retract_module_clause(Head, Body, Module) retract_module_clause(Head, Body, InnerModule)
; Clause = (Head :- Body) -> ; Clause = (Head :- Body) ->
retract_module_clause(Head, Body, Module) retract_module_clause(Head, Body, Module)
). ).