Committed to enable merge.

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

diff --git a/src/Headers/ctypeList.h b/src/Headers/ctypeList.h
index 7c3fecce2007ce2d9545c0f238699885cb6937fb..55823b72e0ed60e975ece66fff55fc4eefc3bc41 100644 (file)
--- a/src/Headers/ctypeList.h
+++ b/src/Headers/ctypeList.h
@@ -13,12 +13,12 @@
 ** (that is, not void, so any number of arguments is okay.)
 */
 
-abst_typedef /*@null@*/ struct
+struct s_ctypeList
 {
   int nelements;
   int nspace;
   /*@reldef@*/ /*@relnull@*/ ctype  *elements;
-} *ctypeList ;
+} ;
 
 extern int ctypeList_size (/*@sef@*/ ctypeList p_s) /*@*/ ;
 # define ctypeList_size(s)  (ctypeList_isDefined(s) ? (s)->nelements : 0)