From 499559fceb6ceef280f880034572b5c97e3210ea Mon Sep 17 00:00:00 2001 From: Julien Fischer Date: Sun, 22 Feb 2026 03:03:32 +1100 Subject: [PATCH] Do not use bitwise and on booleans in Java. library/time.m: As above. --- library/time.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/time.m b/library/time.m index a647fee20..58dc7605f 100644 --- a/library/time.m +++ b/library/time.m @@ -930,7 +930,7 @@ mktime(TM, Time, !IO) :- java.time.zone.ZoneRules rules = tz.getRules(); boolean isDST = rules.isDaylightSavings(Time0); - if (N == 1 & !isDST) { + if (N == 1 && !isDST) { // If the time we constructed is not in daylight savings time, // but it should be, we need to subtract the DSTSavings. java.time.Duration savings = rules.getDaylightSavings(Time0);