*** empty log message ***

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

diff --git a/src/Headers/uentry.h b/src/Headers/uentry.h
index ab5ee86421edd70e74bae8616e3f92a5013b567e..bf3a534626cece4419d77a9a822c46d174b78d54 100644 (file)
--- a/src/Headers/uentry.h
+++ b/src/Headers/uentry.h
@@ -17,8 +17,7 @@
 
 typedef struct 
 {
-  /*@only@*/ multiVal val;
-            typeIdSet access;
+  typeIdSet access;
 } *ucinfo;
 
 typedef enum