*** empty log message ***

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

diff --git a/src/Headers/fileLib.h b/src/Headers/fileLib.h
index 7d295647200c891ed3c8af9a34a405ad41966a54..e08dd54bdccde61443218a295dd56c9048e69672 100644 (file)
--- a/src/Headers/fileLib.h
+++ b/src/Headers/fileLib.h
@@ -46,4 +46,8 @@ extern /*@observer@*/ cstring
 /*@constant observer cstring XH_EXTENSION;@*/
 # define XH_EXTENSION cstring_makeLiteralTemp (".xh")
 
+/* C files that have already been preprocessed */
+/*@constant observer cstring PP_EXTENSION;@*/
+# define PP_EXTENSION cstring_makeLiteralTemp (".pp")
+
 # endif