From fba779063795fc8240fc0a0c97b4461d97206f60 Mon Sep 17 00:00:00 2001 From: Mark Date: Sun, 9 Jul 2023 10:30:30 -0600 Subject: [PATCH] remove errant debug_hook from read_and_match --- src/toplevel.pl | 1 - 1 file changed, 1 deletion(-) diff --git a/src/toplevel.pl b/src/toplevel.pl index baf7ca1d..8318f43b 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -152,7 +152,6 @@ expand_op_list([Op | OtherOps], Pred, Spec, [(:- op(Pred, Spec, Op)) | OtherResu read_and_match :- - '$debug_hook', '$read_query_term'(_, Term, _, _, VarList), instruction_match(Term, VarList). -- 2.54.0