Index: flag.h
===================================================================
--- flag.h	(revision 37776)
+++ flag.h	(revision 37777)
@@ -136,7 +136,7 @@
 pcb_flag_t pcb_flag_mask(pcb_flag_t dst, unsigned int src);
 
 /* destroy flags: clear all bits and free fields */
-void pcb_flag_erase(pcb_flag_t *f);
+void pcb_flag_uninit(pcb_flag_t *f);
 
 #define		pcb_no_flags() pcb_flag_make(0)