summaryrefslogtreecommitdiff
path: root/docs/type_system/ir.md
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-07-11 19:52:56 -0400
committernodist <kevin.comas.git@gmail.com>2026-07-11 19:52:56 -0400
commit730faa451fbc3e7ae37c8a3b32b9d4d99007c666 (patch)
tree52bf7f4941b3d51bba67adf3b96e24753edb6ed9 /docs/type_system/ir.md
parent20106935981d50971da0a7708a5bfdbec256049c (diff)
remove compressed pointers
Diffstat (limited to 'docs/type_system/ir.md')
-rw-r--r--docs/type_system/ir.md2
1 files changed, 1 insertions, 1 deletions
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;
```