/*
**  $VER: timer_pragmas.h 10.1 (19.7.95)
**  Includes Release 40.15
**
**  '(C) Copyright 1995/96 Haage & Partner Computer GmbH'
**	 All Rights Reserved
*/

#ifndef _INCLUDE_PRAGMA_TIMER_LIB_H
#include <pragma/timer_lib.h>
#endif