Index: flag.h
===================================================================
--- flag.h	(revision 4487)
+++ flag.h	(revision 4488)
@@ -56,6 +56,7 @@
 FlagType OldFlags(unsigned int);
 FlagType AddFlags(FlagType, unsigned int);
 FlagType MaskFlags(FlagType, unsigned int);
+void EraseFlags(FlagType *f);
 #define		NoFlags() MakeFlags(0)
 
 /* ---------------------------------------------------------------------------