Fixed some splintme errors from the previous code change.

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

diff --git a/src/Headers/programNodeList.h b/src/Headers/programNodeList.h
index 2ba94f893acb11ae4e4a9157cb6f3f8491597e93..59d545998a3db614cf20e3725a061b079fa4dad5 100644 (file)
--- a/src/Headers/programNodeList.h
+++ b/src/Headers/programNodeList.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -8,12 +8,12 @@
 
 typedef /*@only@*/ programNode o_programNode;
 
-abst_typedef struct _programNodeList
+struct s_programNodeList 
 {
   int nelements;
   int nspace;
   /*@reldef@*/ /*@relnull@*/ o_programNode  *elements;
-} *programNodeList ;
+} ;
 
 /*@iter programNodeList_elements (sef programNodeList x, yield exposed programNode el); @*/
 # define programNodeList_elements(x, m_el) \