From: Arvid Norlander <anmaster@tele2.se>
Date: Mon, 24 Nov 2008 17:49:55 +0000 (-0500)
Subject: Fix lots of splint warnings in cesspool.c by adding a bit of splint annotations to... 
X-Git-Tag: 0.29~158
X-Git-Url: http://thyrsus.com/gitweb/?a=commitdiff_plain;h=564dd55ec11abd5639bf27802d7dcda0056fff01;p=intercal.git

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

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;