Remove empty configure file. This should not be in CVS.

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

diff --git a/src/Headers/ekind.h b/src/Headers/ekind.h
index 041ae43a86e3c8f755ce886a0cb4bfbb26d6a9b3..90c25cf525c1e93885b3c8b99c890e7f64257f64 100644 (file)
--- a/src/Headers/ekind.h
+++ b/src/Headers/ekind.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.
 **
 */
@@ -20,6 +20,9 @@ immut_typedef enum {
 /*@constant ekind KELAST;@*/
 # define KELAST KELIPSMARKER
 
+/*@constant int KGLOBALMARKER;@*/
+# define KGLOBALMARKER ((int) KELAST + 1)
+
 extern bool ekind_equal (ekind, ekind) /*@*/ ;
 # define ekind_equal(e1, e2) ((e1) == (e2))