noexpand always false.

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

diff --git a/src/Headers/signNode.h b/src/Headers/signNode.h
index 77e749aa110cf4743a093791f37e212bb0c9116b..96ca497408ec9f792c9ab4b3e5790ba6ccad508f 100644 (file)
--- a/src/Headers/signNode.h
+++ b/src/Headers/signNode.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -7,7 +7,7 @@ typedef struct {
   ltoken tok;
   sortList domain; 
   sort range;
-  unsigned int key;
+  unsigned long int key;
 } *signNode;
 
 extern /*@only@*/ cstring signNode_unparse (signNode p_sn) /*@*/ ;