*** empty log message ***

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

diff --git a/src/Headers/cpplib.h b/src/Headers/cpplib.h
index d5d1f8ba3fd06243f30864b53806a646eaa4d29f..e1f1a153949e4e5ac90e45f8dc06a0df9c77c32a 100644 (file)
--- a/src/Headers/cpplib.h
+++ b/src/Headers/cpplib.h
@@ -329,7 +329,7 @@ struct cppOptions {
 
   char output_conditionals;
 
-  char ignore_srcdir;
+  bool ignore_srcdir;
 
   /* Zero means dollar signs are punctuation.
      This used to be needed for conformance to the C Standard,