Fix lots of splint warnings in cesspool.c by adding a bit of splint annotations to...

diff --git a/src/numerals.c b/src/numerals.c
index 024228edf8c653ff953175b26df7dc21e31f4be0..ecdee2bbb3433ba69001d7ff170424d5d2fa9272 100644 (file)
--- a/src/numerals.c
+++ b/src/numerals.c
@@ -38,8 +38,8 @@ LICENSE TERMS
 
 typedef struct
 {
-    const char *name;
-    int        value;
+    /*@observer@*/ const char *name;
+    const int  value;
 }
 numeral;