diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-06-05 13:56:19 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-06-05 13:56:19 -0700 |
| commit | b3998440f35026a0ad45e85cc6de0e8cc62b00f1 (patch) | |
| tree | 14d240ba93710b1d827e4dba993d3efe46b6fb3b /mu_summary | |
| parent | 536058af78a1f3f7dfd9bae6e3da7281941cb01c (diff) | |
| download | mu-b3998440f35026a0ad45e85cc6de0e8cc62b00f1.tar.gz | |
6468
Diffstat (limited to 'mu_summary')
| -rw-r--r-- | mu_summary | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mu_summary b/mu_summary index 1ac7a086..f97e1bd6 100644 --- a/mu_summary +++ b/mu_summary @@ -215,7 +215,7 @@ Similarly, conditional loops: var/reg: (addr T_f) <- get var/reg: (addr T), f where record (product) type T has elements a, b, c, ... of types T_a, T_b, T_c, ... - var/reg: (addr T_f) <- get var: (addr T), f + var/reg: (addr T_f) <- get var: T, f ## Handles for safe access to the heap |