From 564dd55ec11abd5639bf27802d7dcda0056fff01 Mon Sep 17 00:00:00 2001
From: Arvid Norlander <anmaster@tele2.se>
Date: Mon, 24 Nov 2008 12:49:55 -0500
Subject: [PATCH] Fix lots of splint warnings in cesspool.c by adding a bit of
 splint annotations to numerals.c

---
 src/numerals.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/numerals.c b/src/numerals.c
index 024228e..ecdee2b 100644
--- 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;
 
-- 
2.43.0