From: Mark <markjordanthom@gmail.com>
Date: Sun, 26 Nov 2023 03:59:01 +0000 (-0700)
Subject: bind missing module atom in retract/1 (#2182)
X-Git-Tag: v0.9.4~100
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b8ef36782416577f4e560a5f1d76a83a96ab0f79;p=scryer-prolog.git

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

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 2e18d94f..9cb533d1 100644
--- 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)
     ).