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 745cbc48795f73f2c13800561f7e76b7a14ccb15..4b2d4b1c16d552cdbc8e374ab325e65979023668 100644 (file)
--- 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)
     ).