/*
-** 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.
**
*/
FMK_SUPPRESS
} flagMarkerKind ;
-typedef struct _flagMarker
+typedef struct
{
flagMarkerKind kind;
flagcode code;
int nerrors;
} info;
- fileloc loc;
+ fileloc loc;
} *flagMarker ;
extern bool flagMarker_isLocalSet (flagMarker p_c) /*@*/ ;