*** empty log message ***

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

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index c4cd84e72f9e85ed35153330184fbee07c698da5..2597117e0a347507135bb3afa055742dba0789bc 100644 (file)
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -17,6 +17,7 @@
 # include "message.h" 
 # include "fileloc.h"
 # include "globals.h"
+# include "cpp.h"
 # include "flag_codes.h"
 # include "flags.h"
 # include "flagSpec.h"