X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7ac98eb7e62335f5bb191d2c399d7dae5c1e62ab..5b99bfd6792ab9229bb5b1d9048833d21b22ecef:/src/Headers/flags.h

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index dcf4e26..d4e0160 100644
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -95,6 +95,7 @@ extern bool flagcode_hasArgument (flagcode p_f) /*@*/ ;
 
 extern bool flags_isModeName (cstring p_s) /*@*/ ;
 extern /*@only@*/ cstring describeModes (void) /*@modifies g_messagestream@*/ ;
+extern /*@only@*/ cstring describeMode (/*@observer@*/ cstring mode) /*@*/ ;
 extern void summarizeErrors (void) /*@modifies g_messagestream@*/ ;
 
 extern bool flagcode_isNameChecksFlag (flagcode p_f) /*@*/ ;