Added code to support CSV output (-csv flag).

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

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 925113452417e4ea80f3e04e0a7d3163b8301abd..e441ade43a05d5d77a5465474f5d64cadbb70ec5 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -49,6 +49,8 @@ extern /*@observer@*/ cstring flagcode_unparse (flagcode p_code) /*@*/ ;
 extern int flagcode_valueIndex (flagcode p_f) /*@*/ ;
 extern int flagcode_stringIndex (flagcode p_f) /*@*/ ;
 
+extern int flagcode_priority (flagcode p_code) /*@*/ ;
+
 extern bool flagcode_equal (flagcode p_code1, flagcode p_code2) /*@*/ ;
 # define flagcode_equal(c1, c2) ((c1) == (c2))