X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b46462e0f425a997aca96d09c7eba11d4cdda1c4..28bf4b0bfd405a2057d865910f8589c54a40f17b:/src/Headers/enumNameList.h?ds=sidebyside diff --git a/src/Headers/enumNameList.h b/src/Headers/enumNameList.h index 8947605..d041a39 100644 --- a/src/Headers/enumNameList.h +++ b/src/Headers/enumNameList.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-2001. ** See ../LICENSE for license information. ** */ @@ -15,7 +15,7 @@ extern /*@only@*/ enumName enumName_create (/*@only@*/ cstring p_s) /*@*/ ; typedef /*@only@*/ enumName o_enumName; -abst_typedef struct _enumNameList +abst_typedef struct { int nelements; int nspace;