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

rujialiu · Nov 26, 2023 · b8ef367 · b8ef367
1 parent f1458b7
commit b8ef367
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
@@ -1214,6 +1214,9 @@
        Body = true,
        retract_module_clause(Head, Body, Module)
     ;  Clause = (Head :- Body) ->
+       (  var(Module) -> Module = user
+       ;  true
+       ),
        retract_module_clause(Head, Body, Module)
     ).