rnd-19981017-1
[rocksndiamonds.git] / src / misc.h
index 260d7803ff103e67f5794fe9894c2ce7243c4806..0c5ef87feaa9121e0e35a0aa18c265b28cfee847 100644 (file)
@@ -29,8 +29,8 @@
 void InitCounter(void);
 unsigned long Counter(void);
 void Delay(unsigned long);
-BOOL FrameReached(unsigned long *, unsigned long);
-BOOL DelayReached(unsigned long *, unsigned long);
+boolean FrameReached(unsigned long *, unsigned long);
+boolean DelayReached(unsigned long *, unsigned long);
 void WaitUntilDelayReached(unsigned long *, unsigned long);
 char *int2str(int, int);
 unsigned int SimpleRND(unsigned int);
@@ -40,5 +40,6 @@ char *GetLoginName(void);
 void MarkTileDirty(int, int);
 void GetOptions(char **);
 void Error(int, char *, ...);
+void *checked_malloc(unsigned long);
 
 #endif