1 files changed, 1 insertions, 0 deletions
diff --git a/flags.h b/flags.h
index d971cb8e..7d267992 100644
--- a/flags.h
+++ b/flags.h
@@ -66,6 +66,7 @@ extern int restricted;
 extern int *find_flag __P((int));
 extern int change_flag __P((int, int));
 extern char *which_set_flags __P((void));
+extern void reset_shell_flags __P((void));
 
 /* A macro for efficiency. */
 #define change_flag_char(flag, on_or_off)  change_flag (flag, on_or_off)