]> andersk Git - splint.git/blobdiff - src/Headers/sigNode.h
noexpand always false.
[splint.git] / src / Headers / sigNode.h
index 166a5e7da88a549c5bb30f8c5951def8262e0766..19cecdbf40053b563e60b64b395588fd77554d74 100644 (file)
@@ -1,14 +1,14 @@
 /*
-** 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 _sigNode {
+typedef struct {
   ltoken tok;
   ltokenList domain; 
   ltoken range;
-  unsigned int key;
+  unsigned long int key;
 } *sigNode;
 
 extern /*@only@*/ cstring sigNode_unparse (/*@null@*/ sigNode p_n) /*@*/ ;
This page took 0.032084 seconds and 4 git commands to generate.