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

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

diff --git a/src/Headers/quantifierNode.h b/src/Headers/quantifierNode.h
index e16b83e36b854de711646bf13713802c361b0f21..085d2f4f2a851fb98116f32da9968424444eb484 100644 (file)
--- a/src/Headers/quantifierNode.h
+++ b/src/Headers/quantifierNode.h
@@ -1,10 +1,10 @@
 /*
-** 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 _quantifierNode {
+typedef struct {
   ltoken quant;
   varNodeList vars;
   bool isForall;