X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..8c56b1d88bedb8a9f88581737bf4cc97ff541291:/src/Headers/storeRefNode.h

diff --git a/src/Headers/storeRefNode.h b/src/Headers/storeRefNode.h
index 7d7152f..a881235 100644
--- a/src/Headers/storeRefNode.h
+++ b/src/Headers/storeRefNode.h
@@ -1,5 +1,5 @@
 /*
-** 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.
 */
 
@@ -7,12 +7,12 @@ typedef enum {
   SRN_TERM, SRN_TYPE, SRN_OBJ, SRN_SPECIAL
   } storeRefNodeKind;
 
-typedef struct _storeRefNode {
+typedef struct {
   storeRefNodeKind kind;
   union {
-    struct _termNode *term;         /* for SRN_TERM */
-    lclTypeSpecNode type;  /* for SRN_OBJ and SRN_TYPE */
-    sRef ref;                       /* for SRN_SPECIAL */
+    termNode term;         /* for SRN_TERM */
+    lclTypeSpecNode type;           /* for SRN_OBJ and SRN_TYPE */
+    /*@dependent@*/ sRef ref;          /* for SRN_SPECIAL */
   } content;
 } *storeRefNode;