summaryrefslogtreecommitdiff
path: root/docs/type_system/ir.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/ir.md')
-rw-r--r--docs/type_system/ir.md5
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md
index 77c6139..4b9ea44 100644
--- a/docs/type_system/ir.md
+++ b/docs/type_system/ir.md
@@ -3,7 +3,7 @@
---
```text
-Ir[[IR_NAME] Address[3]]
+Ir[[IR_NAME] Address[6]]
```
`IR_NAME` is a single value
@@ -12,6 +12,7 @@ Ir[[IR_NAME] Address[3]]
```c
typedef struct {
- kpl_type *address[3];
+ ssize_t label;
+ kpl_type *address[6];
} kpl_type_body_ir;
```