1 files changed, 0 insertions, 3 deletions
diff --git a/.splintrc b/.splintrc
index dc94b190..38f1cf51 100644
--- a/.splintrc
+++ b/.splintrc
@@ -10,9 +10,6 @@
 -nestedextern
 -abstract
 
--Dint8_t=char
--Dint16_t=short
--Dint32_t=int
 -Din_addr_t=int
 -Dcaddr_t=short
 -Disgps30bits_t=uint