X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..8c56b1d88bedb8a9f88581737bf4cc97ff541291:/src/Headers/flagMarker.h diff --git a/src/Headers/flagMarker.h b/src/Headers/flagMarker.h index f21d72d..6d3e8a0 100644 --- 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) /*@*/ ;