1 files changed, 1 insertions, 2 deletions

diff --git a/mps/code/mpslib.h b/mps/code/mpslib.h
index 094975b3cf7..f74bd986fa6 100644
--- a/mps/code/mpslib.h
+++ b/mps/code/mpslib.h
@@ -14,7 +14,7 @@
 #define mpslib_h
 
 #include <stddef.h>
-
+#include "mps.h"  /* mps_clock_t */
 
 extern int mps_lib_get_EOF(void);
 #define mps_lib_EOF     (mps_lib_get_EOF())
@@ -36,7 +36,6 @@ extern void *(mps_lib_memcpy)(void *, const void *, size_t);
 extern int (mps_lib_memcmp)(const void *, const void *, size_t);
 
 
-typedef unsigned long mps_clock_t;
 extern mps_clock_t mps_clock(void);
 extern mps_clock_t mps_clocks_per_sec(void);