--- np2/macosx/mackbd.h	2003/12/04 17:12:09	1.4
+++ np2/macosx/mackbd.h	2003/12/04 17:48:17	1.5
@@ -3,4 +3,5 @@ void mackbd_initialize(void);
 void mackbd_callback(void);
 void mackbd_keydown(int keycode);
 void mackbd_keyup(int keycode);
-void mackbd_resetf11f12(void);
+void mackbd_resetf11(void);
+void mackbd_resetf12(void);