From f79f93bccd42e653f41e71cb56a25d905f0c2aae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 16 Jul 2013 08:01:01 -0500 Subject: [PATCH] small updates --- pl/checker.yap | 6 ++++-- swi/library/base64.pl | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/pl/checker.yap b/pl/checker.yap index 457d9160a..cccb97f85 100644 --- a/pl/checker.yap +++ b/pl/checker.yap @@ -159,11 +159,13 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T). '$handle_multiple'(F,A,NM), fail. '$check_term'(_, T,_,_,M) :- - once(( + ( get_value('$syntaxcheckdiscontiguous',on) + -> + true ; get_value('$syntaxcheckmultiple',on) - )), + ), nb_getval('$consulting_file',File), '$xtract_head'(T,M,NM,_,F,A), \+ ( diff --git a/swi/library/base64.pl b/swi/library/base64.pl index 81b34ecdf..d31baee46 100644 --- a/swi/library/base64.pl +++ b/swi/library/base64.pl @@ -106,7 +106,7 @@ encode([I0, I1, I2|Rest]) --> !, }, encode(Rest). encode([I0, I1]) --> !, - [O0, O1, O2, 0'=], + [O0, O1, O2, 0'=], %' { A is (I0<<16)+(I1<<8), O00 is (A>>18) /\ 0x3f, O01 is (A>>12) /\ 0x3f,