diff -r 428a194e3e59 -r 6c78cc6bd7a6 Source/GGBUtils.h
--- a/Source/GGBUtils.h	Sun Mar 16 15:06:47 2008 -0700
+++ b/Source/GGBUtils.h	Thu Jul 03 17:44:30 2008 -0700
@@ -29,6 +29,7 @@
 /** Just like setObj except that it _copies_ the new value. */
 void setObjCopy( id<NSCopying> *variable, id<NSCopying> newValue );
 
+void DelayFor( NSTimeInterval interval );
 
 void PreloadSound( NSString* name );
 void PlaySound( NSString* name );