[splint.git] / src / Headers / arrayQualNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
typedef struct {
  ltoken tok;
  /*@null@*/ termNode term;
} *arrayQualNode;
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
28bf4b0b	6	typedef struct {
885824d3	7	ltoken tok;
28bf4b0b	8	/@null@/ termNode term;
885824d3	9	} *arrayQualNode;