refine EOF handling more (#1873)

2023-07-09 01:53:40 -06:00
parent b8a6882a27
commit c8b9059289
4 changed files with 25 additions and 39 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -152,6 +152,7 @@ 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).