Issue #22117: Use the _PyTime_t API for time.clock_settime()

Remove also the now unused _PyTime_AddDouble() function.

1 files changed, 0 insertions, 5 deletions

diff --git a/Include/pytime.h b/Include/pytime.h
index 6edffbd2bf..654623e24a 100644
--- a/Include/pytime.h
+++ b/Include/pytime.h
@@ -74,11 +74,6 @@ PyAPI_FUNC(int) _PyTime_ObjectToTimespec(
     long *nsec,
     _PyTime_round_t);
 
-/* Add interval seconds to tv */
-PyAPI_FUNC(void)
-_PyTime_AddDouble(_PyTime_timeval *tv, double interval,
-                  _PyTime_round_t round);
-
 /* Initialize time.
    Return 0 on success, raise an exception and return -1 on error. */
 PyAPI_FUNC(int) _PyTime_Init(void);