From f0a17ba540177d66d73e9d6ffc67d7a61290a234 Mon Sep 17 00:00:00 2001 From: Victor Stinner Date: Tue, 24 Apr 2012 00:59:45 +0200 Subject: [PATCH] PEP 418: typoe --- pep-0418.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pep-0418.txt b/pep-0418.txt index b7bdf1ec1..bf21415a0 100644 --- a/pep-0418.txt +++ b/pep-0418.txt @@ -91,7 +91,7 @@ Limitations: * No time.thread_time() function is proposed by this PEP because it is not needed by Python standard library nor a common asked feature. Such function would only be available on Windows and Linux. On - Linux, it is possible use use + Linux, it is possible to use ``time.clock_gettime(CLOCK_THREAD_CPUTIME_ID)``. On Windows, ctypes or another module can be used to call the ``GetThreadTimes()`` function.