Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/sigNodeSet.h b/src/Headers/sigNodeSet.h
index 08fe060e56c97616ad575b861a84ae2e05cb93c5..e576d71511838778bb5fa08a36ce31420f2216cf 100644 (file)
--- a/src/Headers/sigNodeSet.h
+++ b/src/Headers/sigNodeSet.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.
 **
 */
@@ -14,7 +14,7 @@
 
 typedef /*@owned@*/ sigNode o_sigNode;
 
-abst_typedef /*@null@*/ struct _sigNodeSet
+abst_typedef /*@null@*/ struct 
 {
   int entries;
   int nspace;