From ea7f4e07b71cd27294bd7deb04d8ffe95b15e2ce Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Sat, 10 Feb 2024 00:00:19 +0100
Subject: Remove outdated, unsupported and broken support for splint(1)

---
 src/portab/portab.h | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/portab/portab.h')

diff --git a/src/portab/portab.h b/src/portab/portab.h
index ebe81b49..e0ec3e1e 100644
--- a/src/portab/portab.h
+++ b/src/portab/portab.h
@@ -110,12 +110,6 @@ typedef unsigned char bool;
 #define GLOBAL extern
 #endif
 
-/* SPLint */
-
-#ifdef S_SPLINT_S
-# include "splint.h"
-#endif
-
 /* target constants  */
 
 #ifndef HOST_OS
-- 
cgit 1.4.1