Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / src / Headers / typeNode.h
blob4e97ef5ce4f94a8dcd2f7b7c349f20b67a2b2aca
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 */
6 # ifndef TYPENODE_H
7 # define TYPENODE_H
9 typedef struct {
10 typeKind kind;
11 union {
12 abstractNode abstract;
13 exposedNode exposed;
14 taggedUnionNode taggedunion;
15 } content;
16 } *typeNode;
18 # else
19 # error "Multiple include"
20 # endif