From f6498f2a7bfcdc8299c16a0151bbcd2677fb646b Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 21 Feb 2021 19:19:43 -0700 Subject: [PATCH] anonymize singleton variables in iso_ext.pl, charsio.pl --- src/lib/charsio.pl | 2 +- src/lib/iso_ext.pl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl index 05681bc3..3f30ec17 100644 --- a/src/lib/charsio.pl +++ b/src/lib/charsio.pl @@ -53,7 +53,7 @@ extend_var_list(Vars, VarList, NewVarList, VarType) :- extend_var_list_(Vars, 0, VarList, NewVarList0, VarType), append(VarList, NewVarList0, NewVarList). -extend_var_list_([], _, VarList, [], _). +extend_var_list_([], _, _, [], _). extend_var_list_([V|Vs], N, VarList, NewVarList, VarType) :- ( var_list_contains_variable(VarList, V) -> extend_var_list_(Vs, N, VarList, NewVarList, VarType) diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index c7c3d6c3..fe5d4baf 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -110,10 +110,10 @@ run_cleaners_without_handling(Cp) :- % call_with_inference_limit :- non_counted_backtracking end_block/4. -end_block(_, Bb, NBb, L) :- +end_block(_, Bb, NBb, _L) :- '$clean_up_block'(NBb), '$reset_block'(Bb). -end_block(B, Bb, NBb, L) :- +end_block(B, _Bb, NBb, L) :- '$install_inference_counter'(B, L, _), '$reset_block'(NBb), '$fail'. -- 2.54.0