anonymize singleton variables in iso_ext.pl, charsio.pl

diff --git a/src/lib/charsio.pl b/src/lib/charsio.pl
index 05681bc3d7881b66cfd7d26bde88db780114d299..3f30ec171b957f5ec2c6a80c3a8bfbde74b1c51c 100644 (file)
--- 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 c7c3d6c35c2b32433628a11c82a3411d7f421e87..fe5d4baf2ea5cdcb0cef2ff00f343fce0b585ee3 100644 (file)
--- 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'.