X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..210066f9dd04de7d7d2f04d320b39a52f28b290b:/src/Headers/initDeclNodeList.h diff --git a/src/Headers/initDeclNodeList.h b/src/Headers/initDeclNodeList.h index 2b4bad8..5c6529f 100644 --- a/src/Headers/initDeclNodeList.h +++ b/src/Headers/initDeclNodeList.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. ** */ @@ -9,7 +9,7 @@ typedef /*@only@*/ initDeclNode o_initDeclNode; -abst_typedef struct _initDeclNodeList +abst_typedef struct { int nelements; int nspace;