1 files changed, 0 insertions, 6 deletions
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