From b8ef36782416577f4e560a5f1d76a83a96ab0f79 Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Sat, 25 Nov 2023 20:59:01 -0700
Subject: [PATCH] bind missing module atom in retract/1 (#2182)

---
 src/lib/builtins.pl | 3 +++
 1 file changed, 3 insertions(+)

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)
     ).
 
-- 
2.54.0