*** empty log message ***

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

diff --git a/src/Headers/cpp.h b/src/Headers/cpp.h
index 2592038e07af6fc2dfb21059c503c435b102ed1a..669ca004634ab951ac981c4dbc5feebeb30a4aba 100644 (file)
--- a/src/Headers/cpp.h
+++ b/src/Headers/cpp.h
@@ -51,6 +51,7 @@ extern void cppDoDefine (cstring);
 extern void cppDoUndefine (cstring);
 extern void cppReader_saveDefinitions (void);
 
+extern fileloc cppReader_getLoc (cppReader *);
 extern void cppReader_initialize (void);
 
 # else