Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/usymIdSet.h b/src/Headers/usymIdSet.h
index 57dc1161aed14c992dccc82bb6be3be21e10370f..61b60b5c4d37bcc3db04f5b89c7a33378bbb077d 100644 (file)
--- 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;