diff -r 428a194e3e59 -r 4585c74d809c Source/GGBUtils.h
--- a/Source/GGBUtils.h	Sun Mar 16 15:06:47 2008 -0700
+++ b/Source/GGBUtils.h	Tue Jul 08 20:32:52 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 );