X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..HEAD:/src/Headers/enumSpecNode.h diff --git a/src/Headers/enumSpecNode.h b/src/Headers/enumSpecNode.h index 0a5f0e7..4027e09 100644 --- a/src/Headers/enumSpecNode.h +++ b/src/Headers/enumSpecNode.h @@ -1,10 +1,10 @@ /* -** 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. ** */ -typedef struct _enumSpecNode { +typedef struct { ltoken tok; ltoken opttagid; /*@owned@*/ ltokenList enums;