From: Mark Date: Sun, 9 Jul 2023 16:30:30 +0000 (-0600) Subject: remove errant debug_hook from read_and_match X-Git-Tag: v0.9.2~72 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fba779063795fc8240fc0a0c97b4461d97206f60;p=scryer-prolog.git remove errant debug_hook from read_and_match --- 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).