*** empty log message ***

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

diff --git a/src/Headers/multiVal.h b/src/Headers/multiVal.h
index 487f829d9ddf2b993f9837487d2f2132fc5a936e..18377c894f621e8f6526a091b093773973d86ff5 100644 (file)
--- a/src/Headers/multiVal.h
+++ b/src/Headers/multiVal.h
@@ -7,17 +7,16 @@
 
 typedef enum { MVLONG, MVCHAR, MVDOUBLE, MVSTRING } mvkind;
 
-typedef /*@null@*/ struct _multiVal
+typedef /*@null@*/ struct
 {
   mvkind   kind;
-  union _mval
-    {
-      long int     ival;
-      char         cval;
-      double       fval;
-      /*@only@*/ cstring sval;
-    } value;
-
+  union
+  {
+    long int     ival;
+    char         cval;
+    double       fval;
+    /*@only@*/ cstring sval;
+  } value;
 } *multiVal;
 
 extern /*@falsenull@*/ bool multiVal_isDefined (multiVal p_m) /*@*/ ;