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

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

diff --git a/src/Headers/lclPredicateNode.h b/src/Headers/lclPredicateNode.h
index 0c9c0d54d42706d79e95c66b2ef8d13b18e2a43e..be218a77eec8d377a055439cdc0bc02be779e30c 100644 (file)
--- a/src/Headers/lclPredicateNode.h
+++ b/src/Headers/lclPredicateNode.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.
 **
 */
@@ -8,12 +8,12 @@ typedef enum
 {
   LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
   LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
-  } lclPredicateKind;
+} lclPredicateKind;
 
-typedef struct _lclPredicateNode {
+struct s_lclPredicateNode {
   ltoken tok; /* for debugging */
   lclPredicateKind kind;
-  struct _termNode *predicate;
-} *lclPredicateNode;
+  termNode predicate;
+} ;