Fixed problem with NULL being changed.

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

diff --git a/src/Headers/flagMarker.h b/src/Headers/flagMarker.h
index f21d72d936cdd8b4aa468461e076487b2063cf40..913c8dc36f852ddff40534f4ba9c719560cde242 100644 (file)
--- a/src/Headers/flagMarker.h
+++ b/src/Headers/flagMarker.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-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -20,7 +20,7 @@ typedef enum
   FMK_SUPPRESS
 } flagMarkerKind ;
 
-typedef struct _flagMarker
+typedef struct
 {
   flagMarkerKind kind;
   flagcode code;
@@ -30,7 +30,7 @@ typedef struct _flagMarker
     int nerrors;
   } info;
 
-  fileloc  loc;
+  fileloc loc;
 } *flagMarker ;
 
 extern bool flagMarker_isLocalSet (flagMarker p_c) /*@*/ ;
@@ -70,6 +70,8 @@ extern /*@only@*/ cstring flagMarker_unparse (flagMarker p_c) /*@*/ ;
 
 extern bool flagMarker_beforeMarker (flagMarker p_c, fileloc p_loc) /*@*/ ;
 
+extern bool flagMarker_equal (flagMarker p_f1, flagMarker p_f2) /*@*/ ;
+
 extern ynm flagMarker_getSet (flagMarker p_f) /*@*/ ; 
 extern flagcode flagMarker_getCode (flagMarker p_f) /*@*/ ; 
 extern int flagMarker_getCount (flagMarker p_f) /*@*/ ;