From 730faa451fbc3e7ae37c8a3b32b9d4d99007c666 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Sat, 11 Jul 2026 19:52:56 -0400
Subject: remove compressed pointers

---
 docs/type_system/ir.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/type_system/ir.md')

diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md
index 5593bc3..77c6139 100644
--- a/docs/type_system/ir.md
+++ b/docs/type_system/ir.md
@@ -12,6 +12,6 @@ Ir[[IR_NAME] Address[3]]
 
 ```c
 typedef struct {
-    kpl_ptr address[3];
+    kpl_type *address[3];
 } kpl_type_body_ir;
 ```
-- 
cgit v1.2.3