From e130a52d8a60229f53c8bc2ea7a1f51ee592bbd7 Mon Sep 17 00:00:00 2001 From: Ezio Melotti Date: Wed, 19 Oct 2011 10:58:56 +0300 Subject: Remove duplication. --- Lib/datetime.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Lib/datetime.py') diff --git a/Lib/datetime.py b/Lib/datetime.py index 1ae7cb5305..65f95d2030 100644 --- a/Lib/datetime.py +++ b/Lib/datetime.py @@ -2057,7 +2057,7 @@ z' = z + z.d = 1:MM then, and z'.d=0, and z'.d - z.d = -60 != 0 so [8] Because we know z.d said z was in daylight time (else [5] would have held and we would have stopped then), and we know z.d != z'.d (else [8] would have held -and we we have stopped then), and there are only 2 possible values dst() can +and we have stopped then), and there are only 2 possible values dst() can return in Eastern, it follows that z'.d must be 0 (which it is in the example, but the reasoning doesn't depend on the example -- it depends on there being two possible dst() outcomes, one zero and the other non-zero). Therefore -- cgit v1.2.1