*** empty log message ***

[splint.git] / src / cpplib.c

diff --git a/src/cpplib.c b/src/cpplib.c
index 86fc538f7e342524a3225d319fb1e50c919610fc..73c09951f3e10e4de6b26eec4e3f30b13ee1de3a 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -799,6 +799,7 @@ cppReader_appendIncludeChain (cppReader *pfile,
   opts->last_include = last;
 }
 
+# if 0
 static /*@unused@*/ void 
 cppReader_showIncludeChain (cppReader *pfile)
 {
@@ -819,6 +820,7 @@ cppReader_showIncludeChain (cppReader *pfile)
       fprintf (stderr, "No includes\n");
     }
 }
+# endif
 
 cstring 
 cppReader_getIncludePath ()