Index: uspace/lib/c/arch/arm32/include/types.h
===================================================================
--- uspace/lib/c/arch/arm32/include/types.h	(revision ee24574944c78e5dfab04f1d66db22923168f99e)
+++ uspace/lib/c/arch/arm32/include/types.h	(revision c05642d7e413fd62d4e97313d82c5b3dfd626420)
@@ -52,5 +52,4 @@
 typedef uint32_t size_t;
 
-typedef int32_t intptr_t;
 typedef uint32_t uintptr_t;
 typedef int32_t intptr_t;