bind missing module atom in retract/1 (#2182)

2023-11-25 20:59:01 -07:00
parent f1458b772e
commit b8ef367824
1 changed files with 3 additions and 0 deletions
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1214,6 +1214,9 @@ retract(Clause0) :-
       Body = true,
       retract_module_clause(Head, Body, Module)
    ;  Clause = (Head :- Body) ->
+       (  var(Module) -> Module = user
+       ;  true
+       ),
       retract_module_clause(Head, Body, Module)
    ).