X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..4caf866b3d452c738cb276e805e48e4f1ccd2eba:/src/Headers/letDeclNode.h diff --git a/src/Headers/letDeclNode.h b/src/Headers/letDeclNode.h index 0eacfa2..2238384 100644 --- a/src/Headers/letDeclNode.h +++ b/src/Headers/letDeclNode.h @@ -1,13 +1,13 @@ /* -** 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 _letDeclNode { +typedef struct { ltoken varid; /*@null@*/ lclTypeSpecNode sortspec; - struct _termNode *term; + termNode term; sort sort; } *letDeclNode;