*** empty log message ***

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

diff --git a/src/Headers/cpplib.h b/src/Headers/cpplib.h
index 53df3b55d182be867bb7c3d570ff084dd9f19fa9..a11caaf43895d5bffb2192b344059cbca10160be 100644 (file)
--- a/src/Headers/cpplib.h
+++ b/src/Headers/cpplib.h
@@ -27,8 +27,6 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 extern "C" {
 #endif
 
-typedef struct hashnode HASHNODE;
-
 typedef enum cpp_token (*parseUnderflow) (cppReader *);
 typedef void (*parseCleanup) (cppBuffer *, cppReader *);
 
@@ -89,7 +87,7 @@ struct cppBuffer {
   parseUnderflow underflow;
   parseCleanup cleanup;
 
-  /*@dependent@*/ HASHNODE *hnode;
+  /*@dependent@*/ hashNode hnode;
   /*@dependent@*/ /*@null@*/ struct parse_marker *marks;
   /* Value of if_stack at start of this file.
      Used to prohibit unmatched #endif (etc) in an include file.  */