X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..8c56b1d88bedb8a9f88581737bf4cc97ff541291:/src/Headers/fileLib.h

diff --git a/src/Headers/fileLib.h b/src/Headers/fileLib.h
index 7d29564..e08dd54 100644
--- 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