#ifndef PLATFORM_PUBLIC_SYSTEM_CLOCK_H_
#define PLATFORM_PUBLIC_SYSTEM_CLOCK_H_

#include "platform/api/system_clock.h"

#endif  // PLATFORM_PUBLIC_SYSTEM_CLOCK_H_