X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/Headers/usymIdSet.h diff --git a/src/Headers/usymIdSet.h b/src/Headers/usymIdSet.h index 57dc116..61b60b5 100644 --- a/src/Headers/usymIdSet.h +++ b/src/Headers/usymIdSet.h @@ -11,8 +11,6 @@ # ifndef USYMIDSET_H # define USYMIDSET_H -# include "usymId.h" - abst_typedef /*@null@*/ struct { int entries;