Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/flagMarker.h b/src/Headers/flagMarker.h
index f21d72d936cdd8b4aa468461e076487b2063cf40..6d3e8a0d943c855b160a82c6814a26794748e174 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-2001.
 ** 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) /*@*/ ;