*** empty log message ***

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

diff --git a/src/Headers/cpperror.h b/src/Headers/cpperror.h
index 37e31830bae8e6d4bb4fce3744607eca83184a0b..3b8fe0c100e942f8be762749fa45e2ea47b1008d 100644 (file)
--- a/src/Headers/cpperror.h
+++ b/src/Headers/cpperror.h
@@ -16,6 +16,7 @@ cppReader_pedwarnWithLine (cppReader *p_pfile, int p_line, int p_column,
 extern void cppReader_error (cppReader *p_pfile, /*@only@*/ cstring p_msg);
 extern void cppReader_warning (cppReader *p_pfile, /*@only@*/ cstring p_msg);
 
+extern void cppReader_printContainingFiles (cppReader *p_pfile) /*@modifies g_msgstream, p_pfile@*/ ;
 extern void cppReader_warningLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
 
 extern void cppReader_pedwarn (cppReader *p_pfile, /*@only@*/ cstring p_msg);