From 943461a55f1eac90f847c41a71e5a0ea5d095ff3 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Wed, 8 Aug 2018 19:58:34 -0400
Subject: Remove some remnant splint annotations.

---
 jsongen.py | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'jsongen.py')

diff --git a/jsongen.py b/jsongen.py
index c41f1701..db4b8712 100755
--- a/jsongen.py
+++ b/jsongen.py
@@ -1045,14 +1045,11 @@ if __name__ == '__main__':
  */
  #define NITEMS(x) (int)(sizeof(x)/sizeof(x[0]))
 
-/*@ -fullinitblock */
-
 """)
         outboard = []
         for description in spec:
             generate(description)
         print("""
-/*@ +fullinitblock */
 
 /* Generated code ends. */
 """)
-- 
cgit v1.2.1