some fixes in response to miri

2025-07-07 22:02:27 -07:00
parent 9daf016d63
commit 3dee07f648
5 changed files with 20 additions and 19 deletions
@@ -568,7 +568,6 @@ parse_options_list(Options, Selector, DefaultPairs, OptionValues, Stub) :-
                                                % maplist isn't
                                                % declared as a
                                                % meta-predicate yet
-       '$debug_hook',
       catch(lists:maplist(Selector, Options, OptionPairs0),
             error(E, _),
             builtins:throw(error(E, Stub))) ->