do not allow strings containing null characters to be inlined (#2848)

2025-04-09 23:03:28 -07:00
parent 22080f3787
commit 98dae9aecc
4 changed files with 4 additions and 5 deletions
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -177,7 +177,6 @@ print_comma_separated_list([VN=_, VNEq | VNEqs]) :-

 filter_anonymous_vars([], []).
 filter_anonymous_vars([VN=V | VNEqs0], VNEqs) :-
-    '$debug_hook',
    (  atom_concat('_', _, VN) ->
       filter_anonymous_vars(VNEqs0, VNEqs)
    ;  VNEqs = [VN=V | VNEqs1],