Do not use bitwise and on booleans in Java.

library/time.m:
     As above.
This commit is contained in:
Julien Fischer
2026-02-22 03:03:32 +11:00
parent a089b6626f
commit 499559fceb

View File

@@ -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);