/* Automatically generated header! Do not edit! */

#ifndef _INLINE_BATTCLOCK_H
#include <inline/battclock.h>
#endif /* !_INLINE_BATTCLOCK_H */