Manual flags.

[splint.git] / src / Headers / context.h

diff --git a/src/Headers/context.h b/src/Headers/context.h
index 7f2bec8ab5425834d9e07f6e97e7f97e964b48f9..1ea7c923748eb76f92ea025bcac929053b383897 100644 (file)
--- a/src/Headers/context.h
+++ b/src/Headers/context.h
@@ -91,6 +91,7 @@ extern void context_hideShowscan (void);
 extern void context_unhideShowscan (void);
 
 extern void context_setMode (cstring p_s);
+extern void context_setModeNoWarn (cstring p_s);
 extern void context_exitAllClauses (void);
 extern void context_exitAllClausesQuiet (void);
 extern bool context_inHeader (void);