X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/0e41eb0e650b136b06564fd3c32ea5a1d16c68c8..a9ec328054b628447830161535f4915f715f49cd:/src/Headers/ctypeList.h

diff --git a/src/Headers/ctypeList.h b/src/Headers/ctypeList.h
index 7c3fecc..d7e66ec 100644
--- a/src/Headers/ctypeList.h
+++ b/src/Headers/ctypeList.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -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)