Fix tracker issue 1837229.

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

diff --git a/src/Headers/signNode.h b/src/Headers/signNode.h
index 3814352b1f36a8123b4bd74b7442266369e75561..96ca497408ec9f792c9ab4b3e5790ba6ccad508f 100644 (file)
--- a/src/Headers/signNode.h
+++ b/src/Headers/signNode.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-2003.
 ** See ../LICENSE for license information.
 **
 */
-typedef struct _signNode {
+typedef struct {
   ltoken tok;
   sortList domain; 
   sort range;
-  unsigned int key;
+  unsigned long int key;
 } *signNode;
 
 extern /*@only@*/ cstring signNode_unparse (signNode p_sn) /*@*/ ;