X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b46462e0f425a997aca96d09c7eba11d4cdda1c4..28bf4b0bfd405a2057d865910f8589c54a40f17b:/src/Headers/stmtNode.h diff --git a/src/Headers/stmtNode.h b/src/Headers/stmtNode.h index 9220af5..b166c51 100644 --- a/src/Headers/stmtNode.h +++ b/src/Headers/stmtNode.h @@ -1,12 +1,12 @@ /* -** 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. */ -typedef struct _stmtNode { +struct s_stmtNode { ltoken lhs; ltoken operator; termNodeList args; -} *stmtNode; +} ; extern /*@unused@*/ /*@notnull@*/ /*@only@*/ cstring stmtNode_unparse (stmtNode p_x);