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

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

diff --git a/src/Headers/quantifiedTermNode.h b/src/Headers/quantifiedTermNode.h
index a361cd1b4c0f985f5c96ec0471d7b5199fc7624e..04cf636fd4c2eb9cbb960d42ea605cc197f0c33b 100644 (file)
--- a/src/Headers/quantifiedTermNode.h
+++ b/src/Headers/quantifiedTermNode.h
@@ -1,13 +1,13 @@
 /*
-** 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 _quantifiedTermNode {
+typedef struct {
   quantifierNodeList quantifiers;
   ltoken open; /* for ease of debugging */
-  struct _termNode *body;
+  termNode body;
   ltoken close; /* for ease of debugging */
 } *quantifiedTermNode;