From 91b588dea2cd9d465b092f5a934ebf1638f79253 Mon Sep 17 00:00:00 2001
From: evans1629 <evans1629>
Date: Sat, 25 Sep 2004 14:42:30 +0000
Subject: [PATCH] Fixed declarations of inptr_t and uintptr_t.

---
 lib/standard.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/lib/standard.h b/lib/standard.h
index 1ae8d37..0d58881 100644
--- a/lib/standard.h
+++ b/lib/standard.h
@@ -1206,10 +1206,12 @@ typedef /*@unsignedintegraltype@*/ uint_fast16_t;
 typedef /*@unsignedintegraltype@*/ uint_fast32_t;
 typedef /*@unsignedintegraltype@*/ uint_fast64_t;
 
-typedef int *intptr_t
+/* Corrections to intptr_t and uintptr_t decparations provided by David Sanderson */
+
+typedef /*@signedintegraltype@*/ intptr_t
    /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide."@*/ ;
 
-typedef unsigned int *uintptr_t
+typedef /*@unsignedintegraltype@*/ uintptr_t
    /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide."@*/ ;
 
 typedef /*@signedintegraltype@*/ intmax_t;
-- 
2.45.0